CLAIRE - MaRDI portal

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