CHIP
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Local consistency for extended CSPs
- Industrial linear optimization problems solved by constraint logic programming
- A generic arc-consistency algorithm and its specializations
- Constraint satisfaction using constraint logic programming
- The job shop scheduling problem: Conventional and new solution techniques
- Figaro
- A resolution principle for constrained logics
- Model-based inference in CHARME.
- PSPLIB
- A hypergraph model for constraint logic programming and applications to bus drivers' scheduling
- Computational complexity and constraint logic programming languages
- Standard forms for rational linear arithmetic in constraint logic programming.
- SD-solver: Towards a ``Multidirectional CLP-based simulation tool. Framework and short financial examples
- SCIL
- TCHR
- Nurse rostering problems -- a bibliographic survey.
- Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption.
- LSSPER
- CLAIRE
- SALSA
- HYPROLOG
- Constraint programming and operations research
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- Redundant cumulative constraints to compute preemptive bounds
- Mozart
- Using constraint programming for solving RCPSP/MAX-cal
- How efficient is a global constraint in practice? A fair experimental framework
- A microkernel architecture for constraint programming
- A hybrid constraint programming/mixed integer programming framework for the preventive signaling maintenance crew scheduling problem
- Local search and constraint programming for the post enrolment-based course timetabling problem
- Tesseral spatio-temporal reasoning for multi-dimensional data
- Choco
- Gecode
- On the relations between SAT and CSP enumerative algorithms
- Introducing global constraints in CHIP
- clpfd
- Detection of the discrete convexity of polyominoes
- Prolog
- wamcc
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- Oz
- Localizer
- BL data set
- SLIDE
- Dashed strings for string constraint solving
- Packing by scheduling: using constraint programming to solve a complex 2D cutting stock problem
- A MinCumulative resource constraint
- An O(n^2) algorithm for time-bound adjustments for the cumulative scheduling problem
- G12
- Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm
- Model-driven visualizations of constraint-based local search
- A quadratic edge-finding filtering algorithm for cumulative resource constraints
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
- Scheduling scientific experiments for comet exploration
- Synchronized sweep algorithms for scalable scheduling constraints
- Constraint databases: promising technology or just intellectual exercise?
- The virtuality of constraints and the constraints of virtuality
- Strong polynomiality of resource constraint propagation
- Solving RCPSP/max by lazy clause generation
- SICStus
- Towards constraint-based school timetabling
- Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
- Constraint programming model for multi-manned assembly line balancing problem
- VIFID/TRIFID
- STR2
- Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited
- A column generation model for a scheduling problem with maintenance constraints
- scientific article; zbMATH DE number 1688814 (Why is no real title available?)
- The Boolean constraint solver of SWI-Prolog (system description)
- Constraint and integer programming in OPL
- A modeling layer for constraint-programming libraries
- LyriC
- CCUBE
- clpb
- Numerica
- cc(FD)
- OPL
- ILOG SCHEDULE
- ToOLS
- Modeler
- Application of constraint logic programming to asset and liability management in banks
- WAPTEC
- Oz Explorer
- CBack
- perprof-py
- APT
- SWISH DataLab
- HIBISCUS
- DiSCiPl
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
- scientific article; zbMATH DE number 1497836 (Why is no real title available?)
- Exploiting subproblem dominance in constraint programming
- Balancing and scheduling of flexible mixed model assembly lines
- Using dual presolving reductions to reformulate cumulative constraints
- Design for AJACS, yet another Java constraint programming framework
- Description, implementation, and evaluation of a generic design for tabled CLP
- Stochastic planning and scheduling with logic-based Benders decomposition
- On logical constraints in logic programming
- scientific article; zbMATH DE number 7124428 (Why is no real title available?)
- PortLib
This page was built for software: CHIP
