Captain Jack: New Variable Selection Heuristics in Local Search for SAT
From MaRDI portal
Publication:3007692
DOI10.1007/978-3-642-21581-0_24zbMath1330.68277OpenAlexW121528679MaRDI QIDQ3007692
Adrian Balint, Dave A. D. Tompkins, Holger H. Hoos
Publication date: 17 June 2011
Published in: Theory and Applications of Satisfiability Testing - SAT 2011 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21581-0_24
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)
Related Items (5)
SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers ⋮ SATenstein: automatically building local search SAT solvers from components ⋮ Local search for Boolean satisfiability with configuration checking and subscore ⋮ The configurable SAT solver challenge (CSSC) ⋮ Automatic construction of parallel portfolios via algorithm configuration
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- SATenstein: automatically building local search SAT solvers from components
- Many hard examples for resolution
- ParamILS: An Automatic Algorithm Configuration Framework
- Improving Stochastic Local Search for SAT with a New Probability Distribution
- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
- Threshold values of random K‐SAT from the cavity method
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
This page was built for publication: Captain Jack: New Variable Selection Heuristics in Local Search for SAT