The following pages link to CHIP (Q15982):
Displaying 50 items.
- Exploiting subproblem dominance in constraint programming (Q453591) (← links)
- Balancing and scheduling of flexible mixed model assembly lines (Q481715) (← links)
- Using dual presolving reductions to reformulate cumulative constraints (Q487651) (← links)
- New filtering for the cumulative constraint in the context of non-overlapping rectangles (Q545536) (← links)
- Global propagation of side constraints for solving over-constrained problems (Q545560) (← links)
- Explaining the \texttt{cumulative} propagator (Q647477) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- CLP\(({\mathfrak R})\) and some electrical engineering problems (Q688564) (← links)
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints (Q688670) (← links)
- Simulation of hybrid circuits in constraint logic programming (Q805302) (← links)
- Undirected forest constraints (Q846145) (← links)
- Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
- Filtering algorithms for the NValue constraint (Q857887) (← links)
- Verification of FPGA layout generators in higher-order logic (Q877830) (← links)
- Global constraint catalogue: past, present and future (Q879974) (← links)
- Models for global constraint applications (Q879975) (← links)
- Confidence-based reasoning in stochastic constraint programming (Q896433) (← links)
- CAL: A theoretical background of constraint logic programming and its applications (Q908680) (← links)
- A logic language for combinatorial optimization (Q918429) (← links)
- Local consistency for extended CSPs (Q1035707) (← 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)
- The job shop scheduling problem: Conventional and new solution techniques (Q1268188) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Model-based inference in CHARME. (Q1342427) (← links)
- A hypergraph model for constraint logic programming and applications to bus drivers' scheduling (Q1353919) (← links)
- Computational complexity and constraint logic programming languages (Q1354033) (← links)
- Standard forms for rational linear arithmetic in constraint logic programming. (Q1354046) (← links)
- SD-solver: Towards a ``Multidirectional'' CLP-based simulation tool. Framework and short financial examples (Q1362860) (← links)
- Nurse rostering problems -- a bibliographic survey. (Q1410304) (← links)
- Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption. (Q1417510) (← links)
- Constraint programming and operations research (Q1616390) (← links)
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG (Q1616392) (← links)
- Redundant cumulative constraints to compute preemptive bounds (Q1686060) (← links)
- Using constraint programming for solving RCPSP/MAX-cal (Q1699524) (← links)
- How efficient is a global constraint in practice? A fair experimental framework (Q1706598) (← links)
- A microkernel architecture for constraint programming (Q1706769) (← links)
- A hybrid constraint programming/mixed integer programming framework for the preventive signaling maintenance crew scheduling problem (Q1744527) (← links)
- Local search and constraint programming for the post enrolment-based course timetabling problem (Q1761894) (← links)
- Tesseral spatio-temporal reasoning for multi-dimensional data (Q1818123) (← links)
- On the relations between SAT and CSP enumerative algorithms (Q1841881) (← links)
- Introducing global constraints in CHIP (Q1842796) (← links)
- Detection of the discrete convexity of polyominoes (Q1861555) (← links)
- Dominance constraints with Boolean connectives: A model-eliminative treatment (Q1870570) (← links)
- Localizer (Q1975204) (← links)
- Dashed strings for string constraint solving (Q2046015) (← links)
- Packing by scheduling: using constraint programming to solve a complex 2D cutting stock problem (Q2170201) (← links)
- A MinCumulative resource constraint (Q2170208) (← links)
- An \(O(n^2)\) algorithm for time-bound adjustments for the cumulative scheduling problem (Q2184136) (← links)
