Theory and Applications of Satisfiability Testing
Holger H. Hoos, David G. Mitchell
Theory and Applications of Satisfiability Testing - 2005
978-3-540-31580-3
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Numeric Computing
Operating Systems
Computer Science
Theory and Applications of Satisfiability Testing - 2005
978-3-540-31580-3
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Numeric Computing
Operating Systems
Computer Science