CLAIRE - MaRDI portal

Cited in

(48)

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

This page was built for software: CLAIRE