Theory and Applications of Satisfiability Testing

DOI10.1007/b137280zbMath1128.68360MaRDI QIDQ5713724

Zhao, Xishun, Hans Kleine Büning

Publication date: 15 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b137280

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

03D15: Complexity of computation (including implicit computational complexity)

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

Uses Software

• ASSAT