Effective Logic Computation

Rating:
Summary: Required Reading for all students of logic computation
Review: A serious book for those interested in algorithms to solve the 'satisfiability' and 'minimum satisfiability' problems. While mostly dealing with the theory behind Truemper's practical algorithms, the book also provides discussions of applications to major combinatorial problem classes.