The following pages link to (Q3005898):
Displaying 7 items.
- Exact solution techniques for two-dimensional cutting and packing (Q2029021) (← links)
- meSAT: multiple encodings of CSP to SAT (Q2342599) (← links)
- Triple-solution approach for the strip packing problem with two-staged patterns (Q2410108) (← links)
- Combinatorial Benders' Cuts for the Strip Packing Problem (Q2935306) (← links)
- aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming (Q3449196) (← links)
- Clingo goes linear constraints over reals and integers (Q4592712) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)