There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 13

Record: found
Abstract: not found
Article: not found

On the power of clause-learning SAT solvers as resolution engines

Knot Pipatsrisawat, Adnan Darwiche (2011)

0 comments Cited 21 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Unit Refutations and Horn Sets

L. Wos, L. Henschen (1974)

0 comments Cited 12 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Tractable Databases: How to Make Propositional Unit Resolution Complete through Compilation

Alvaro del Val (1994)

0 comments Cited 11 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 220-232

DOI: 10.1007/978-3-642-35843-2_20

SO-VID: 0e49ce5c-1d32-48f5-aabd-b6d73e0c7e27

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 5

On the van der Waerden numbers w(2;3,t)
Authors: , ,
Unified Characterisations of Resolution Hardness Measures
Authors: Olaf Beyersdorff, Oliver Kullmann
Local Backbones
Authors: Iyad Kanj, Stefan Szeider, Ronald de Haan

See all cited by

Generalising and Unifying SLUR and Unit-Refutation Completeness

Read this book at

Related collections

UCL: UN SDG 01 No Poverty

Most cited references 13

On the power of clause-learning SAT solvers as resolution engines

Unit Refutations and Horn Sets

Tractable Databases: How to Make Propositional Unit Resolution Complete through Compilation

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,786

Cited by 5