Theory and Applications of Satisfiability Testing
From MaRDI portal
Publication:5714765
DOI10.1007/11527695zbMath1122.68609MaRDI QIDQ5714765
Daniel Le Berre, Laurent Simon
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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Autonomous operator management for evolutionary algorithms, Solving satisfiability problems with preferences, Local search with edge weighting and configuration checking heuristics for minimum vertex cover, Statistical regimes across constrainedness regions, An efficient approach to solving random \(k\)-SAT problems, \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
Uses Software