The following pages link to Recent Advances in Constraints (Q5899113):
Displaying 7 items.
- Global domain views for expressive and cross-domain constraint programming (Q2152270) (← links)
- Coupling different integer encodings for SAT (Q2170178) (← links)
- MiniCP: a lightweight solver for constraint programming (Q2246188) (← links)
- Propagation via lazy clause generation (Q2272160) (← links)
- View-based propagation of decomposable constraints (Q2348543) (← links)
- Generalised arc consistency for the AllDifferent constraint: an empirical survey (Q2389692) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
