Chowdhury, Md Solimul
| Name: | Chowdhury, Md Solimul |
| Email: | |
| Organization: | |
| Webpage: | none |
| Interest(s): | |
| Publications: |
| 1. | M. Chowdhury, M. Müller, J. You. "Guiding CDCL SAT Search via Random Exploration amid Conflict Depression". National Conference on Artificial Intelligence (AAAI), pp 1428-1435, March 2020.   |
| 2. | M. Chowdhury, M. Müller, J. You. "Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics". International Conference on Principles and Practice of Constraint Programming (CP), Stamford, USA, (ed: Schiex T., de Givry S.), pp 126-143, October 2019. |
| 3. | M. Chowdhury, M. Müller, J. You. "Characterization of Glue Variables in CDCL SAT Solving". Technical Report, University of Alberta, (9), May 2019. |
| 4. | M. Chowdhury, M. Müller, J. You. "GrandTour-obs Puzzle as a SAT Benchmark". SAT Competition, (ed: Heule , M J H , Järvisalo , M J & Suda , M), pp 59-60, July 2018. |
Author List
