Vol-3474⫷ Vol-3475 ⫸Vol-3476
urn:nbn:de:0074-3475-0


Vol-3475/keynote1⫷Vol-3475/keynote2⫸Vol-3475/paper1
Shufeng Kong

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