The following pages link to Recent Advances in Constraints (Q5703914):
Displaying 10 items.
- Reformulations in mathematical programming: automatic symmetry detection and exploitation (Q662305) (← links)
- Symmetry definitions for constraint satisfaction problems (Q850464) (← links)
- On implementing symmetry detection (Q1037637) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- A method for detecting symmetries in constraint models and its generalisation (Q2342650) (← links)
- Formulation symmetries in circle packing (Q2861569) (← links)
- Symmetry in Mathematical Programming (Q2897300) (← links)
- Automating Symmetry-Breaking Calculations (Q4827626) (← links)
- Automatic generation of dominance breaking nogoods for a class of constraint optimization problems (Q6080646) (← links)