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

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 827-831

DOI: 10.1007/11564751_73

SO-VID: 6784b5a9-3000-49ba-82e5-9d784705c5bb

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 40

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints
Authors: Karem Sakallah, Mark Liffiton
Iterative and core-guided MaxSAT solving: A survey and assessment
Authors: António Morgado, Federico Heras, Joao Marques-Silva …
SAT-based MaxSAT algorithms
Authors: Maria Bonet, Jordi Levy, Carlos Ansótegui

See all cited by

Towards an Optimal CNF Encoding of Boolean Cardinality Constraints

Read this book at