Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/S1574-6526(07)03002-7> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- S1574-6526(07)03002-7 author "Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman".
- S1574-6526(07)03002-7 chapter "Satisfiability Solvers".
- S1574-6526(07)03002-7 doi "10.1016/S1574-652603002-7".
- S1574-6526(07)03002-7 editor "Frank Van Harmelen, Vladimir Lifschitz, Bruce Porter".
- S1574-6526(07)03002-7 isCitedBy Boolean_satisfiability_problem.
- S1574-6526(07)03002-7 isCitedBy DPLL_algorithm.
- S1574-6526(07)03002-7 isbn "978-0-444-52211-5".
- S1574-6526(07)03002-7 pages "89–134".
- S1574-6526(07)03002-7 publisher "Elsevier".
- S1574-6526(07)03002-7 series "Foundations of Artificial Intelligence".
- S1574-6526(07)03002-7 title "Handbook of knowledge representation".
- S1574-6526(07)03002-7 volume "3".
- S1574-6526(07)03002-7 year "2008".