Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5714751
DOI10.1007/11527695zbMath1122.68605arXivcond-mat/0408190MaRDI QIDQ5714751
Moore, Cristopher, Haixia Jia, Bart Selman
Publication date: 16 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cond-mat/0408190
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
The solution space structure of planted constraint satisfaction problems with growing domains, Random constraint satisfaction: easy generation of hard (satisfiable) instances, \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems
Uses Software