Cited in
(48)- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- An O\((n^4)\) algorithm for preemptive scheduling of a single machine to minimize the number of late jobs
- The use of a strategy language for solving search problems
- Heuristics for large constrained vehicle routing problems
- scientific article; zbMATH DE number 1950445 (Why is no real title available?)
- On-line resources allocation for ATM networks with rerouting
- Logic programming in the context of multiparadigm programming: the Oz experience
- Branching and pruning: An optimal temporal POCL planner based on constraint programming
- scientific article; zbMATH DE number 2032418 (Why is no real title available?)
- Constraint-based scheduling: Applying constraint programming to scheduling problems.
- Heuristic control of a constraint-based algorithm for the preemptive job-shop scheduling problem
- scientific article; zbMATH DE number 2084749 (Why is no real title available?)
- Handling relations over finite domains in the rule-based system ELAN
- Integration of Rules and Optimization in Plant PowerOps
- Figaro
- SALSA
- KLIC
- Mozart
- OPBDP
- Choco
- Oz
- BL data set
- OpenRuleBench
- Plant PowerOps
- FLORA
- miniKanren
- Localizer
- ToOLS
- FaCiLe
- LogSymmetricDemons
- Flix
- scientific article; zbMATH DE number 1497836 (Why is no real title available?)
- Constraint programming viewed as rule-based programming
- Localizer
- Local consistency for extended CSPs
- scientific article; zbMATH DE number 2084709 (Why is no real title available?)
- A unified framework for partial and hybrid search methods in constraint programming
- Combining local and global search in a constraint programming environment
- On linear lower bounds for the resource constrained project scheduling problem.
- Cardinal: a finite sets constraint solver
- scientific article; zbMATH DE number 1337861 (Why is no real title available?)
- Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
- Airspace sectorization with constraints
- Combining constraint Propagation and meta-heuristics for searching a Maximum Weight Hamiltonian Chain
- Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
- Resource constraints for preemptive job-shop scheduling
- Programming constraint services. High-level programming of standard and new constraint services
- CLAIRE: a distributed-memory solver for constrained large deformation diffeomorphic image registration
This page was built for software: CLAIRE
