Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-48159-1_5> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 3-540-48159-1_5 chapter "The Impact of Branching Heuristics in Propositional Satisfiability Algorithms".
- 3-540-48159-1_5 doi "10.1007/3-540-48159-1_5".
- 3-540-48159-1_5 editor1First "Pedro".
- 3-540-48159-1_5 editor1Last "Barahona".
- 3-540-48159-1_5 editor2First "José J.".
- 3-540-48159-1_5 editor2Last "Alferes".
- 3-540-48159-1_5 first1 "João P.".
- 3-540-48159-1_5 isCitedBy DPLL_algorithm.
- 3-540-48159-1_5 isbn "978-3-540-66548-9".
- 3-540-48159-1_5 last1 "Marques-Silva".
- 3-540-48159-1_5 pages "62–63".
- 3-540-48159-1_5 series Lecture_Notes_in_Computer_Science.
- 3-540-48159-1_5 title "--09-21".
- 3-540-48159-1_5 volume "1695".
- 3-540-48159-1_5 year "1999".