Pages that link to "Item:Q606904"

The following pages link to Philosophy of the MiniZinc challenge (Q606904):

Displaying 9 items.

• MiniZinc (Q18394) (← links)
• Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
• MiningZinc: a declarative framework for constraint-based mining (Q511753) (← links)
• A constraint-based local search backend for MiniZinc (Q890003) (← links)
• Debugging unsatisfiable constraint models (Q2011577) (← links)
• Wombit: a portfolio bit-vector solver using word-level propagation (Q2323450) (← links)
• Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (Q5743603) (← links)
• Automatic generation of dominance breaking nogoods for a class of constraint optimization problems (Q6080646) (← links)
• Exploiting functional constraints in automatic dominance breaking for constraint optimization (Q6488814) (← links)