Advancing Efficient Large-Scale Constraint Optimization Problem Solving by Integrating Machine Learning and Automated Reasoning.

Shufeng Kong

Browse the full IJCAI paper archive.