Pages that link to "Item:Q1680696"
From MaRDI portal
The following pages link to Automatically improving constraint models in Savile Row (Q1680696):
Displayed 10 items.
- A constraint-based local search backend for MiniZinc (Q890003) (← links)
- Progress towards the Holy Grail (Q1616388) (← links)
- Constraint programming and operations research (Q1616390) (← links)
- Automatically improving constraint models in Savile Row (Q1680696) (← links)
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735) (← links)
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints (Q2074672) (← links)
- \textsc{Conjure}: automatic generation of constraint models from problem specifications (Q2163883) (← links)
- Solving computational problems in the theory of word-representable graphs (Q3120420) (← links)
- A review of literature on parallel constraint solving (Q4559826) (← links)
- Enumeration of set-theoretic solutions to the Yang–Baxter equation (Q5070549) (← links)