Matches in DBpedia 2016-04 for { <https://dke.maastrichtuniversity.nl/m.winands/documents/PDSPNCG2002.pdf> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- PDSPNCG2002.pdf author "Mark H.M. Winands, Jos W.H.M. Uiterwijk, and H. Jaap van den Herik".
- PDSPNCG2002.pdf format "PDF".
- PDSPNCG2002.pdf isCitedBy Proof-number_search.
- PDSPNCG2002.pdf journal "Lecture Notes in Computer Science".
- PDSPNCG2002.pdf title "PDS-PN: A New Proof-Number Search Algorithm".
- PDSPNCG2002.pdf url PDSPNCG2002.pdf.
- PDSPNCG2002.pdf year "2003".