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

ISBN (Print): 9780821804797

ISBN (Electronic): 9781470439934

Publication date (Print): December 9 1997

DOI: 10.1090/dimacs/035

SO-VID: 601c23be-84d3-44ce-bf6d-892cb4061105

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

The Impact of Branching Heuristics in Propositional Satisfiability Algorithms
Authors: Joao Marques-Silva
Analysis of the computational complexity of solving random satisfiability problems using branch and bound search algorithms
Authors: Remi Monasson, Simona Cocco

See all cited by

Satisfiability Problem: Theory and Applications

Read this book at