The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study
From MaRDI portal
Publication:3527696
DOI10.1016/j.jalgor.2008.02.005zbMath1162.68655OpenAlexW2141692543MaRDI QIDQ3527696
Matti Järvisalo, Ilkka Niemelä
Publication date: 29 September 2008
Published in: Journal of Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgor.2008.02.005
Related Items
Learning pseudo-backdoors for mixed integer programs, Limitations of restricted branching in clause learning, Backdoors to tractable answer set programming
Uses Software