Pages that link to "Item:Q2749854"
From MaRDI portal
The following pages link to Local search algorithms for SAT: an empirical evaluation (Q2749854):
Displaying 29 items.
- On market-inspired approaches to propositional satisfiability (Q814434) (← links)
- Configuration landscape analysis and backbone guided local search. I: Satisfiability and maximum satisfiability (Q814612) (← links)
- Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings (Q862408) (← links)
- The island confinement method for reducing search space in local search methods (Q930151) (← links)
- Local search algorithms for SAT: an empirical evaluation (Q1581848) (← links)
- Towards a characterisation of the behaviour of stochastic local search algorithms for SAT (Q1606317) (← links)
- Computation of the semantics of autoepistemic belief theories (Q1606318) (← links)
- On SAT instance classes and a method for reliable performance experiments with SAT solvers (Q1777389) (← links)
- UnitWalk: A new SAT solver that uses local search guided by unit clause elimination (Q1777395) (← links)
- A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search. (Q1853552) (← links)
- SAT local search algorithms: Worst-case study (Q1977754) (← links)
- Guided local search for solving SAT and weighted MAX-SAT problems (Q1977758) (← links)
- Stochastic local search - methods, models, applications (Diss., TU Darmstadt, 1998) (Q2726305) (← links)
- Ensemble-based prediction of SAT search behaviour (Q2741532) (← links)
- Auto-Walksat: A self-tuning implementation of Walksat (Q2741537) (← links)
- Guided local search for solving SAT and weighted MAX-SAT problems (Q2749855) (← links)
- SAT local search algorithms: Worst-case study (Q2749857) (← links)
- Randomness in heuristics: An experimental investigation for the maximum satisfiability problem (Q2768133) (← links)
- An improved local search algorithm for 3-SAT (Q3439130) (← links)
- Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems (Q3569759) (← links)
- (Q3604003) (← links)
- On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem (Q4930591) (← links)
- Local search algorithms for SAT: Worst-case analysis (Q5054860) (← links)
- Theory and Applications of Satisfiability Testing (Q5325850) (← links)
- Theory and Applications of Satisfiability Testing (Q5325854) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464698) (← links)
- (Q5687271) (← links)
- Theory and Applications of Satisfiability Testing (Q5713718) (← links)
- Theory and Applications of Satisfiability Testing (Q5713746) (← links)
