Pages that link to "Item:Q487655"
From MaRDI portal
The following pages link to Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories (Q487655):
Displaying 5 items.
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories (Q487655) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- \textsc{OptiMathSAT}: a tool for optimization modulo theories (Q2303246) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- A constraint programming-based iterated greedy algorithm for the open shop with sequence-dependent processing times and makespan minimization (Q6068709) (← links)
