The following pages link to (Q4424851):
Displaying 9 items.
- On implementing symmetry detection (Q1037637) (← links)
- Automatically improving constraint models in Savile Row (Q1680696) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$ (Q2974776) (← links)
- A Novel Approach For Detecting Symmetries in CSP Models (Q5387629) (← links)
- Automatic generation of dominance breaking nogoods for a class of constraint optimization problems (Q6080646) (← links)
- Automated streamliner portfolios for constraint satisfaction problems (Q6161503) (← links)
