Publications by You, Jia-Huai
In Conference (refereed)
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, February 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, September 2019. |
3. | 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, June 2018. |
Other Categories
4. | M. Chowdhury, M. Müller, J. You. "Characterization of Glue Variables in CDCL SAT Solving". Technical Report, University of Alberta, (9), April 2019. |