The following pages link to (Q5715662):
Displayed 8 items.
- Redundant modeling in permutation weighted constraint satisfaction problems (Q606896) (← links)
- Scheduling with uncertain durations: Modeling \(\beta \)-robust scheduling with constraints (Q1010287) (← links)
- Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints (Q2074672) (← links)
- Constraint models for graceful graphs (Q2267806) (← links)
- Duality in permutation state spaces and the dual search algorithm (Q2389626) (← links)
- Automatic generation of redundant models for permutation constraint satisfaction problems (Q2460256) (← links)
- Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem (Q2938540) (← links)
- Integer Programming, Constraint Programming, and Hybrid Decomposition Approaches to Discretizable Distance Geometry Problems (Q5084653) (← links)