The following pages link to CHIP (Q15982):
Displaying 30 items.
- Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm (Q2268503) (← links)
- Model-driven visualizations of constraint-based local search (Q2272159) (← links)
- A quadratic edge-finding filtering algorithm for cumulative resource constraints (Q2342594) (← links)
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction (Q2342595) (← links)
- Scheduling scientific experiments for comet exploration (Q2342608) (← links)
- Synchronized sweep algorithms for scalable scheduling constraints (Q2342649) (← links)
- Constraint databases: promising technology or just intellectual exercise? (Q2348608) (← links)
- The virtuality of constraints and the constraints of virtuality (Q2348609) (← links)
- Strong polynomiality of resource constraint propagation (Q2427690) (← links)
- Solving RCPSP/max by lazy clause generation (Q2434317) (← links)
- Towards constraint-based school timetabling (Q2468741) (← links)
- Detecting infeasibility and generating cuts for mixed integer programming using constraint programming (Q2489122) (← links)
- Constraint programming model for multi-manned assembly line balancing problem (Q2664418) (← links)
- Horizontally elastic edge-finder algorithm for cumulative resource constraint revisited (Q2677344) (← links)
- A column generation model for a scheduling problem with maintenance constraints (Q2741258) (← links)
- (Q2762633) (← links)
- The Boolean Constraint Solver of SWI-Prolog (System Description) (Q2798256) (← links)
- Constraint and integer programming in OPL (Q2884541) (← links)
- A modeling layer for constraint-programming libraries (Q2892256) (← links)
- Application of constraint logic programming to asset and liability management in banks (Q3354724) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- (Q4499261) (← links)
- Design for AJACS, yet another Java constraint programming framework1 1The authors would like to thank the anonymous referees for their constructive review of an earlier version of this article. Universidade de Évora, CENTRIA and FundaçLãTo da CiêCncia (Q4923524) (← links)
- Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (Q4957184) (← links)
- Stochastic Planning and Scheduling with Logic-Based Benders Decomposition (Q5057988) (← links)
- On logical constraints in logic programming (Q5101440) (← links)
- (Q5241193) (← links)
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes (Q5479853) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)
- From eager or lazy constrained data acquisition: A general framework (Q5952497) (← links)
