CHIP
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Synchronized sweep algorithms for scalable scheduling constraints
- A logic language for combinatorial optimization
- Redundant cumulative constraints to compute preemptive bounds
- A hypergraph model for constraint logic programming and applications to bus drivers' scheduling
- Computational complexity and constraint logic programming languages
- A generic arc-consistency algorithm and its specializations
- A resolution principle for constrained logics
- Tesseral spatio-temporal reasoning for multi-dimensional data
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
- From eager or lazy constrained data acquisition: A general framework
- Standard forms for rational linear arithmetic in constraint logic programming.
- SD-solver: Towards a ``Multidirectional CLP-based simulation tool. Framework and short financial examples
- Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm
- A microkernel architecture for constraint programming
- Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
- Constraint satisfaction using constraint logic programming
- Dashed strings for string constraint solving
- Stochastic planning and scheduling with logic-based Benders decomposition
- The Boolean constraint solver of SWI-Prolog (system description)
- An \(O(n^2)\) algorithm for time-bound adjustments for the cumulative scheduling problem
- CUD@SAT
- Simulation of hybrid circuits in constraint logic programming
- Detection of the discrete convexity of polyominoes
- CLP\(({\mathfrak R})\) and some electrical engineering problems
- A closed-form evaluation for Datalog queries with integer (gap)-order constraints
- Balancing and scheduling of flexible mixed model assembly lines
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
- Using constraint programming for solving RCPSP/MAX-cal
- Global propagation of side constraints for solving over-constrained problems
- New filtering for the cumulative constraint in the context of non-overlapping rectangles
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- Constraint programming and operations research
- A column generation model for a scheduling problem with maintenance constraints
- Interval propagation to reason about sets: Definition and implementation of a practical language
- Undirected forest constraints
- Global constraint catalogue: past, present and future
- A modeling layer for constraint-programming libraries
- Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption.
- A hybrid constraint programming/mixed integer programming framework for the preventive signaling maintenance crew scheduling problem
- Constraint and integer programming in OPL
- How efficient is a global constraint in practice? A fair experimental framework
- Scheduling scientific experiments for comet exploration
- Description, implementation, and evaluation of a generic design for tabled CLP
- Explaining the \texttt{cumulative} propagator
- scientific article; zbMATH DE number 1688814 (Why is no real title available?)
- Design for AJACS, yet another Java constraint programming framework
- Constraint databases: promising technology or just intellectual exercise?
- Application of constraint logic programming to asset and liability management in banks
- Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited
- Optimal length resolution refutations of difference constraint systems
- Industrial linear optimization problems solved by constraint logic programming
- Strong polynomiality of resource constraint propagation
- Introducing global constraints in CHIP
- Exploiting subproblem dominance in constraint programming
- Verification of FPGA layout generators in higher-order logic
- Models for global constraint applications
- Nurse rostering problems -- a bibliographic survey.
- On logical constraints in logic programming
- Figaro
- PSPLIB
- SCIL
- TCHR
- LSSPER
- CLAIRE
- HYPROLOG
- SALSA
- Mozart
- Choco
- Gecode
- clpfd
- Prolog
- wamcc
- Oz
- BL data set
- SLIDE
- G12
- SICStus
- VIFID/TRIFID
- STR2
- CCUBE
- LyriC
- clpb
- cc(FD)
- ILOG SCHEDULE
- Modeler
- Numerica
- OPL
- ToOLS
- WAPTEC
- CBack
- Oz Explorer
- perprof-py
- APT
- DiSCiPl
- HIBISCUS
- SWISH DataLab
- PortLib
- CP Optimizer
- MiniCP
This page was built for software: CHIP
