Pages that link to "Item:Q5751930"
From MaRDI portal
The following pages link to Solving large combinatorial problems in logic programming (Q5751930):
Displaying 24 items.
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- A constraint programming-based solution approach for medical resident scheduling problems (Q709135) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Symbolic constraint handling through unification in finite algebras (Q757060) (← links)
- Scheduling and routing of automated guided vehicles: A hybrid approach (Q858276) (← links)
- Models for global constraint applications (Q879975) (← links)
- A logic language for combinatorial optimization (Q918429) (← links)
- Industrial linear optimization problems solved by constraint logic programming (Q1129304) (← links)
- A generic arc-consistency algorithm and its specializations (Q1199922) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Choice procedure in fuzzy multicriteria decision analysis based on pairwise comparisons (Q1267495) (← links)
- Combination of local search and CLP in the vehicle-fleet scheduling problem (Q1278727) (← links)
- Fuzzy sets and decision analysis (Q1282904) (← links)
- Model-based inference in CHARME. (Q1342427) (← links)
- Reduction algorithms for solving large systems of logical equations (Q1594832) (← links)
- How efficient is a global constraint in practice? A fair experimental framework (Q1706598) (← links)
- Introducing global constraints in CHIP (Q1842796) (← links)
- Running time experiments on some algorithms for solving propositional satisfiability problems (Q1897402) (← links)
- New constructs for the description of combinatorial optimization problems in algebraic modeling languages (Q1918922) (← links)
- Enhancing CLP branch and bound techniques for scheduling problems (Q2721220) (← links)
- A column generation model for a scheduling problem with maintenance constraints (Q2741258) (← links)
- Propositional calculus problems in CHIP (Q5096196) (← links)
- Path consistency in clp(FD) (Q5096309) (← links)
- The Synchronized Dynamic Vehicle Dispatching Problem (Q6160388) (← links)