Local search algorithms for SAT: an empirical evaluation
From MaRDI portal
Publication:1581848
Recommendations
Cited in
(49)- Worst-case study of local search for MAX-\(k\)-SAT.
- Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
- A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
- SAT local search algorithms: Worst-case study
- Scalable SAT solving in the cloud
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Understanding the role of noise in stochastic local search: analysis and experiments
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
- A machine learning approach to algorithm selection for \(\mathcal{NP}\)-hard optimization problems: a case study on the MPE problem
- TTT plots: a perl program to create time-to-target plots
- A study of stochastic local search algorithms for the biobjective QAP with correlated flow matrices
- Regular-SAT: A many-valued approach to solving combinatorial problems
- Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998)
- SatEx: A web-based framework for SAT experimentation
- Auto-Walksat: A self-tuning implementation of Walksat
- Local search algorithms for SAT: an empirical evaluation
- SAT local search algorithms: Worst-case study
- Stochastic local search for SMT: combining theory solvers with WalkSAT
- An improved local search algorithm for 3-SAT
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
- Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems
- scientific article; zbMATH DE number 5510694 (Why is no real title available?)
- SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT
- scientific article; zbMATH DE number 1241386 (Why is no real title available?)
- scientific article; zbMATH DE number 1341458 (Why is no real title available?)
- scientific article; zbMATH DE number 1149403 (Why is no real title available?)
- scientific article; zbMATH DE number 1954176 (Why is no real title available?)
- scientific article; zbMATH DE number 2080313 (Why is no real title available?)
- Local search for Boolean satisfiability with configuration checking and subscore
- On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem
- An empirical study of optimal noise and runtime distributions in local search
- Local search algorithms for SAT: Worst-case analysis
- Another Complete Local Search Method for SAT
- Artificial Intelligence and Symbolic Computation
- AI*IA 2005: Advances in Artificial Intelligence
- Stochastic Algorithms: Foundations and Applications
- scientific article; zbMATH DE number 956863 (Why is no real title available?)
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Local search with edge weighting and configuration checking heuristics for minimum vertex cover
- Local-MIP: efficient local search for mixed integer programming
- \texttt{WalkSAT} is linear on random 2-SAT
- A fix-propagate-repair heuristic for mixed integer programming
- Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability
- Learning dynamic algorithm portfolios
- An efficient approach to solving random \(k\)-SAT problems
- A GRASP algorithm to solve the unicost set covering problem
- Modelling the dynamics of stochastic local search on \(k\)-SAT
This page was built for publication: Local search algorithms for SAT: an empirical evaluation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1581848)
