Better Decision Heuristics in CDCL through Local Search and Target Phases

DOI10.1613/JAIR.1.13666OpenAlexW4295705322MaRDI QIDQ5101311

Shaowei Cai, Armin Biere, Xindi Zhang, Mathias Fleury

Publication date: 30 August 2022

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.13666

zbMATH Keywords

heuristicssatisfiability

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (2)

A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper) ⋮ Integrating multi-armed bandit with local search for MaxSAT

This page was built for publication: Better Decision Heuristics in CDCL through Local Search and Target Phases