Preliminary Results on Exploration-Driven Satisfiability Solving.

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

Browse the full AAAI paper archive.