2 papers
cs.AI2026
Streamlined Constraint Reasoning via CNN Pattern Recognition on Enumerated Solutions
Patrick Spracklen
Constraint programming practitioners accelerate hard problems through a layered set of techniques applied in order of risk. Standard hardening (symmetry-breaking and implied constr…
cs.AI2020
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem
Patrick Spracklen, Nguyen Dang, Özgür Akgün +1
Augmenting a base constraint model with additional constraints can strengthen the inferences made by a solver and therefore reduce search effort. We focus on the automatic addition…