Captain Jack: New Variable Selection Heuristics in Local Search for SAT

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

Mathematics Subject Classification ID

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

• Paramils
• UBCSAT
• SATzilla
• PicoSAT
• SATenstein

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