Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-74970-7_39> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 978-3-540-74970-7_39 contribution "Propagation = Lazy Clause Generation".
- 978-3-540-74970-7_39 doi "10.1007/978-3-540-74970-7_39".
- 978-3-540-74970-7_39 first1 "Olga".
- 978-3-540-74970-7_39 first2 "Peter J.".
- 978-3-540-74970-7_39 first3 "Michael".
- 978-3-540-74970-7_39 isCitedBy Boolean_satisfiability_problem.
- 978-3-540-74970-7_39 last1 "Ohrimenko".
- 978-3-540-74970-7_39 last2 "Stuckey".
- 978-3-540-74970-7_39 last3 "Codish".
- 978-3-540-74970-7_39 pages "544–558".
- 978-3-540-74970-7_39 quote "modern SAT solvers can often handle problems with millions of constraints and hundreds of thousands of variables".
- 978-3-540-74970-7_39 series "Lecture Notes in Computer Science".
- 978-3-540-74970-7_39 title "Principles and Practice of Constraint Programming – CP 2007".
- 978-3-540-74970-7_39 volume "4741".
- 978-3-540-74970-7_39 year "2007".