Cited in
(only showing first 100 items - show all)- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- Balancing and scheduling of flexible mixed model assembly lines
- The job shop scheduling problem: Conventional and new solution techniques
- A modeling layer for constraint-programming libraries
- Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
- Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm
- Interval propagation to reason about sets: Definition and implementation of a practical language
- Localizer
- Introducing global constraints in CHIP
- Verification of FPGA layout generators in higher-order logic
- Models for global constraint applications
- Global propagation of side constraints for solving over-constrained problems
- New filtering for the cumulative constraint in the context of non-overlapping rectangles
- Constraint programming model for multi-manned assembly line balancing problem
- Global constraint catalogue: past, present and future
- scientific article; zbMATH DE number 1688814 (Why is no real title available?)
- Simulation of hybrid circuits in constraint logic programming
- CLP\(({\mathfrak R})\) and some electrical engineering problems
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints
- Optimal length resolution refutations of difference constraint systems
- Figaro
- PSPLIB
- SCIL
- TCHR
- LSSPER
- CLAIRE
- HYPROLOG
- SALSA
- Mozart
- Choco
- Gecode
- clpfd
- Prolog
- wamcc
- Oz
- Solving RCPSP/max by lazy clause generation
- On the relations between SAT and CSP enumerative algorithms
- Filtering algorithms for the NValue constraint
- scientific article; zbMATH DE number 1497836 (Why is no real title available?)
- BL data set
- SLIDE
- G12
- SICStus
- VIFID/TRIFID
- STR2
- CCUBE
- LyriC
- Local search and constraint programming for the post enrolment-based course timetabling problem
- Constraint and integer programming in OPL
- clpb
- cc(FD)
- ILOG SCHEDULE
- Modeler
- Numerica
- OPL
- ToOLS
- WAPTEC
- CBack
- Oz Explorer
- perprof-py
- APT
- DiSCiPl
- HIBISCUS
- SWISH DataLab
- Dashed strings for string constraint solving
- Synchronized sweep algorithms for scalable scheduling constraints
- PortLib
- CP Optimizer
- MiniCP
- Undirected forest constraints
- Constraint satisfaction using constraint logic programming
- Towards constraint-based school timetabling
- Detection of the discrete convexity of polyominoes
- Model-driven visualizations of constraint-based local search
- Using dual presolving reductions to reformulate cumulative constraints
- Nurse rostering problems -- a bibliographic survey.
- A generic arc-consistency algorithm and its specializations
- Exploiting subproblem dominance in constraint programming
- Confidence-based reasoning in stochastic constraint programming
- scientific article; zbMATH DE number 7124428 (Why is no real title available?)
- Explaining the \texttt{cumulative} propagator
- On logical constraints in logic programming
- Lparse Programs Revisited: Semantics and Representation of Aggregates
- A quadratic edge-finding filtering algorithm for cumulative resource constraints
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
- From eager or lazy constrained data acquisition: A general framework
- VeriFly
- A resolution principle for constrained logics
- Standard forms for rational linear arithmetic in constraint logic programming.
- Constraint databases: promising technology or just intellectual exercise?
- Local consistency for extended CSPs
- An \(O(n^2)\) algorithm for time-bound adjustments for the cumulative scheduling problem
- A logic language for combinatorial optimization
- How efficient is a global constraint in practice? A fair experimental framework
- Description, implementation, and evaluation of a generic design for tabled CLP
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
- SD-solver: Towards a ``Multidirectional CLP-based simulation tool. Framework and short financial examples
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
- Stochastic planning and scheduling with logic-based Benders decomposition
This page was built for software: CHIP
