Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5714753
DOI10.1007/11527695zbMath1122.68471OpenAlexW2483910514MaRDI QIDQ5714753
Hans Kleine Büning, Zhao, Xishun
Publication date: 16 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11527695
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
This page was built for publication: Theory and Applications of Satisfiability Testing