The following pages link to Progress towards the Holy Grail (Q1616388):
Displaying 6 items.
- Efficient multiple constraint acquisition (Q823769) (← links)
- Classifier-based constraint acquisition (Q2043441) (← links)
- Global domain views for expressive and cross-domain constraint programming (Q2152270) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- A framework for step-wise explaining how to solve constraint satisfaction problems (Q2238723) (← links)
- Automatic generation of dominance breaking nogoods for a class of constraint optimization problems (Q6080646) (← links)
