Better Decision Heuristics in CDCL through Local Search and Target Phases
From MaRDI portal
Publication:5101311
DOI10.1613/jair.1.13666MaRDI QIDQ5101311
Armin Biere, Mathias Fleury, Shaowei Cai, Xindi Zhang
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
68Txx: Artificial intelligence