Handbook of Satisfiability

Front Cover
Armin Biere
IOS Press, 2009 - Computers - 966 pages
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Part II Applications and Extensions
455
Subject Index
927
Cited Author Index
943
Contributing Authors and Affiliations
965
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information