Theory and Applications of Satisfiability Testing

DOI10.1007/11527695zbMath1122.68620OpenAlexW2483910514MaRDI QIDQ5714764

Holger H. Hoos, Dave A. D. Tompkins

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (23)

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ⋮ SATenstein: automatically building local search SAT solvers from components ⋮ New local search methods for partial MaxSAT ⋮ Simulating circuit-level simplifications on CNF ⋮ On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) ⋮ Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning ⋮ Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results ⋮ An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem ⋮ Breaking Cycle Structure to Improve Lower Bound for Max-SAT ⋮ Decomposing SAT Instances with Pseudo Backbones ⋮ Captain Jack: New Variable Selection Heuristics in Local Search for SAT ⋮ Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions ⋮ Efficient branch-and-bound algorithms for weighted MAX-2-SAT ⋮ Improved haplotype assembly using Xor genotypes ⋮ Global versus local search: the impact of population sizes on evolutionary algorithm performance ⋮ Probabilistic characterization of random Max \(r\)-Sat ⋮ The Normalized Autocorrelation Length of Random Max  $$r$$ -Sat Converges in Probability to $$(1-1/2^r)/r$$ ⋮ Cooperative parallel SAT local search with path relinking ⋮ UBCSAT ⋮ Efficiently Calculating Evolutionary Tree Measures Using SAT ⋮ Using the method of conditional expectations to supply an improved starting point for CCLS ⋮ ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver ⋮ Iterative and core-guided maxsat solving: a survey and assessment

Uses Software

• SATLIB
• Walksat
• MersenneTwister

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