CHIP
From MaRDI portal
Software:15982
swMATH3450MaRDI QIDQ15982FDOQ15982
Author name not available (Why is that?)
Official website: http://en.wikipedia.org/wiki/CHIP_%28programming_language%29
Cited In (only showing first 100 items - show all)
- 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
- Global propagation of side constraints for solving over-constrained problems
- New filtering for the cumulative constraint in the context of non-overlapping rectangles
- Interval propagation to reason about sets: Definition and implementation of a practical language
- Undirected forest constraints
- A modeling layer for constraint-programming libraries
- Global constraint catalogue: past, present and future
- Constraint and integer programming in OPL
- Title not available (Why is that?)
- Explaining the \texttt{cumulative} propagator
- Optimal length resolution refutations of difference constraint systems
- 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
- Title not available (Why is that?)
- Model-driven visualizations of constraint-based local search
- Title not available (Why is that?)
- On the relations between SAT and CSP enumerative algorithms
- Figaro
- PSPLIB
- CLAIRE
- Mozart
- Choco
- Gecode
- clpfd
- Prolog
- wamcc
- Oz
- A quadratic edge-finding filtering algorithm for cumulative resource constraints
- BL data set
- SLIDE
- G12
- SICStus
- VIFID/TRIFID
- STR2
- CCUBE
- LyriC
- Constraint programming model for multi-manned assembly line balancing problem
- Confidence-based reasoning in stochastic constraint programming
- Localizer
- clpb
- cc(FD)
- ILOG SCHEDULE
- Modeler
- Numerica
- OPL
- ToOLS
- WAPTEC
- CBack
- Oz Explorer
- perprof-py
- APT
- DiSCiPl
- HIBISCUS
- SWISH DataLab
- Lparse Programs Revisited: Semantics and Representation of Aggregates
- Local search and constraint programming for the post enrolment-based course timetabling problem
- PortLib
- CP Optimizer
- MiniCP
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- The job shop scheduling problem: Conventional and new solution techniques
- Using dual presolving reductions to reformulate cumulative constraints
- CAL: A theoretical background of constraint logic programming and its applications
- Solving RCPSP/max by lazy clause generation
- Filtering algorithms for the NValue constraint
- Towards constraint-based school timetabling
- Synchronized sweep algorithms for scalable scheduling constraints
- A generic arc-consistency algorithm and its specializations
- A resolution principle for constrained logics
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
- 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
- Dashed strings for string constraint solving
- Constraint satisfaction using constraint logic programming
- Simulation of hybrid circuits in constraint logic programming
- VeriFly
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
- Using constraint programming for solving RCPSP/MAX-cal
- Dominance constraints with Boolean connectives: A model-eliminative treatment
- A column generation model for a scheduling problem with maintenance constraints
- Constraint programming and operations research
- 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
- How efficient is a global constraint in practice? A fair experimental framework
- Description, implementation, and evaluation of a generic design for tabled CLP
- Scheduling scientific experiments for comet exploration
- 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
- Industrial linear optimization problems solved by constraint logic programming
- Strong polynomiality of resource constraint propagation
- The virtuality of constraints and the constraints of virtuality
This page was built for software: CHIP