CHIP

swMATH3450MaRDI QIDQ15982FDOQ15982

Author name not available (Why is that?)

Official website: http://en.wikipedia.org/wiki/CHIP_%28programming_language%29

Described by source

• Solving a cutting-stock problem with the constraint logic programming language CHIP

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