Guiding CDCL SAT Search via Random Exploration amid Conflict Depression.

Md. Solimul Chowdhury, Martin Mller, Jia-Huai You

Browse the full AAAI paper archive.