scientific article; zbMATH DE number 1312992
From MaRDI portal
Publication:4254883
Recommendations
Cited in
(67)- Detection of the discrete convexity of polyominoes
- Lazy constraint imposing for improving the path constraint
- A survey of constraint-based programming paradigms
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
- Selective Unification in (Constraint) Logic Programming*
- scientific article; zbMATH DE number 1566503 (Why is no real title available?)
- Solving nesting problems with non-convex polygons by constraint logic programming
- \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP
- An algorithm-independent measure of progress for linear constraint propagation
- Wombit: a portfolio bit-vector solver using word-level propagation
- scientific article; zbMATH DE number 2159464 (Why is no real title available?)
- Linear Structures for Concurrency in Probabilistic Programming Languages
- A hybrid differential evolution algorithm with column generation for resource constrained job scheduling
- Recognizing frozen variables in constraint satisfaction problems
- Certificate size reduction in abstraction-carrying code
- Querying incomplete information in RDF with SPARQL
- On Realization of Program Constraints: Part II—Practical Implications
- Recurrence with affine level mappings is P-time decidable for CLP
- Description, implementation, and evaluation of a generic design for tabled CLP
- TCHR: a framework for tabled CLP
- A unified theory of structural tractability for constraint satisfaction problems
- From LP to LP: Programming with constraints
- On the number of rule applications in constraint programs
- An analysis of arithmetic constraints on integer intervals
- Principles of constraint systems and constraint solvers
- Principles of constraint programming.
- Monadic constraint programming
- Integrating answer set programming and constraint logic programming
- Memetic algorithm timetabling for non-commercial sport leagues.
- Incremental and modular context-sensitive analysis
- Propagation = Lazy Clause Generation
- Programming with a non-differentiable constraint.
- A new generic scheme for functional logic programming with constraints
- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
- Solving stochastic resource-constrained project scheduling problems by closed-loop approximate dynamic programming
- On relation between constraint answer set programming and satisfiability modulo theories
- Graph transduction as a noncooperative game
- Hybrids of Constructive Metaheuristics and Constraint Programming: A Case Study with ACO
- Orbitopal fixing
- A Lagrangian-ACO matheuristic for car sequencing
- Optimal placement of valves in a water distribution network with CLP(FD)
- Partially distributed outer approximation
- Local consistency for extended CSPs
- scientific article; zbMATH DE number 1507955 (Why is no real title available?)
- Tiling algebra for constraint-based layout editing
- Fifty Years of Prolog and Beyond
- Propagation via lazy clause generation
- Solving RCPSP/max by lazy clause generation
- Three perspectives for solving the job grouping problem
- Towards constraint-based school timetabling
- Placement Inference for a Client-Server Calculus
- Semiring-Based Soft Constraints
- Automatic minimal-height table layout
- New model and heuristics for safety stock placement in general acyclic supply chain networks
- Backjump-based backtracking for constraint satisfaction problems
- Logic programming with solution preferences
- A new branch-and-filter exact algorithm for binary constraint satisfaction problems
- Filtering algorithms for the multiset ordering constraint
- Automatic generation of redundant models for permutation constraint satisfaction problems
- Mixed global constraints and inference in hybrid CLP--IP solvers
- \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
- Scheduling and routing of automated guided vehicles: A hybrid approach
- Integrated production and material handling scheduling using mathematical programming and constraint programming
- Programming constraint services. High-level programming of standard and new constraint services
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- Automatic proofs of termination with elementary interpretations
- The NCL natural constraint language.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4254883)
