Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5714751
DOI10.1007/11527695zbMath1122.68605arXivcond-mat/0408190OpenAlexW2483910514MaRDI 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
Related Items (4)
The solution space structure of planted constraint satisfaction problems with growing domains ⋮ \(\boldsymbol{borealis}\) -- a generalized global update algorithm for Boolean optimization problems ⋮ Random constraint satisfaction: easy generation of hard (satisfiable) instances ⋮ Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length
Uses Software
This page was built for publication: Theory and Applications of Satisfiability Testing