Pages that link to "Item:Q1680696"
From MaRDI portal
The following pages link to Automatically improving constraint models in Savile Row (Q1680696):
Displayed 13 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)
- On the enumeration of finite 𝐿-algebras (Q5879122) (← links)
- Learning to select SAT encodings for pseudo-Boolean and linear Integer constraints (Q6154177) (← links)
- Automated streamliner portfolios for constraint satisfaction problems (Q6161503) (← links)