Theory and Applications of Satisfiability Testing
Subtitle: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science)
Contributors: Fahiem Bacchus (Editor); Toby Walsh (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2005
Language: eng
Format: Paperback
Number of pages: 492
ISBN-13: 9783540262763
Subjects: Mathematical logic; Operating Systems - General; Computers; Mathematics; Computer Books: Operating Systems; Computer Science; Logic; Mathematics / Logic; QBF; SAT algorithms; SAT solvers; heuristics; local search; probabilistic algorithms; proof systems; proof theory; Computer algorithms; Congresses; Decision making; Propositional calculus
First sentence: The SAT-based problem solving approach presents some limitations when solving many real-life problems due to the fact that it only provides a solution when the formula that models the problem we are trying to solve is shown to be satisfiable.