Title: Handbook of Satisfiability
            
                Frontiers in Artificial Intelligence and Applications
Subjects: Computer algorithms, Propositional calculus, Congresses, Decision making, Boolean Algebra, Algorithmus, Anwendung, Berechnungskomplexität, Erfüllbarkeitsproblem, Artificial intelligence