Chowdhury, Md. Solimul

2 publications

AAAI 2020 Guiding CDCL SAT Search via Random Exploration amid Conflict Depression Md. Solimul Chowdhury, Martin Müller, Jia-Huai You

AAAI 2018 Preliminary Results on Exploration-Driven Satisfiability Solving Md. Solimul Chowdhury, Martin Müller, Jia-Huai You