Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT

DOI10.1007/978-3-642-14186-7_23zbMath1306.68176OpenAlexW1551380792MaRDI QIDQ4930595

Holger H. Hoos, Dave A. D. Tompkins

Publication date: 29 September 2010

Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_23

Mathematics Subject Classification ID

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

Related Items (3)

SATenstein: automatically building local search SAT solvers from components ⋮ Local search for Boolean satisfiability with configuration checking and subscore ⋮ Captain Jack: New Variable Selection Heuristics in Local Search for SAT

Uses Software

• Paramils
• UBCSAT
• PicoSAT
• SATenstein

This page was built for publication: Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT