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