The following pages link to Gecode (Q18403):
Displaying 5 items.
- MiningZinc: a declarative framework for constraint-based mining (Q511753) (← links)
- Auto-tabling for subproblem presolving in MiniZinc (Q1701238) (← links)
- On the reification of global constraints (Q2342583) (← links)
- Solving a resource allocation problem in wireless mesh networks: A comparison between a CP-based and a classical column generation (Q3057149) (← links)
- Applying Constraint Logic Programming to SQL Test Case Generation (Q3558339) (← links)
