Theory and Applications of Satisfiability Testing

DOI10.1007/b137280zbMath1128.68455OpenAlexW2497844642MaRDI QIDQ5713727

Hans Kleine Büning, Zhao, Xishun, Uwe Bubeck

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

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Theory and Applications of Satisfiability Testing