scientific article; zbMATH DE number 1312992
From MaRDI portal
Publication:4254883
zbMATH Open0935.68098MaRDI QIDQ4254883FDOQ4254883
Authors: Kim Marriott, Peter J. Stuckey 
Publication date: 1 July 1999
Title of this publication is not available (Why is that?)
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17)
Cited In (67)
- Lazy constraint imposing for improving the path constraint
- Linear Structures for Concurrency in Probabilistic Programming Languages
- Description, implementation, and evaluation of a generic design for tabled CLP
- On the number of rule applications in constraint programs
- Detection of the discrete convexity of polyominoes
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
- A survey of constraint-based programming paradigms
- Selective Unification in (Constraint) Logic Programming*
- Solving nesting problems with non-convex polygons by constraint logic programming
- Title not available (Why is that?)
- \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) -- from LP to CLP
- An algorithm-independent measure of progress for linear constraint propagation
- Title not available (Why is that?)
- Wombit: a portfolio bit-vector solver using word-level propagation
- A hybrid differential evolution algorithm with column generation for resource constrained job scheduling
- Certificate size reduction in abstraction-carrying code
- Recurrence with affine level mappings is P-time decidable for CLP
- Recognizing frozen variables in constraint satisfaction problems
- On Realization of Program Constraints: Part II—Practical Implications
- Querying incomplete information in RDF with SPARQL
- TCHR: a framework for tabled CLP
- From LP to LP: Programming with constraints
- A unified theory of structural tractability for constraint satisfaction problems
- An analysis of arithmetic constraints on integer intervals
- Principles of constraint systems and constraint solvers
- Principles of constraint programming.
- Monadic constraint programming
- Incremental and modular context-sensitive analysis
- Propagation = Lazy Clause Generation
- Integrating answer set programming and constraint logic programming
- Memetic algorithm timetabling for non-commercial sport leagues.
- Programming with a non-differentiable constraint.
- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
- On relation between constraint answer set programming and satisfiability modulo theories
- A new generic scheme for functional logic programming with constraints
- Graph transduction as a noncooperative game
- Solving stochastic resource-constrained project scheduling problems by closed-loop approximate dynamic programming
- 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
- Title not available (Why is that?)
- Local consistency for extended CSPs
- Fifty Years of Prolog and Beyond
- Tiling algebra for constraint-based layout editing
- Propagation via lazy clause generation
- Three perspectives for solving the job grouping problem
- Solving RCPSP/max by lazy clause generation
- Placement Inference for a Client-Server Calculus
- Towards constraint-based school timetabling
- 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
- Automatic generation of redundant models for permutation constraint satisfaction problems
- Filtering algorithms for the multiset ordering constraint
- \(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
- Mixed global constraints and inference in hybrid CLP--IP solvers
- Integrated production and material handling scheduling using mathematical programming and constraint programming
- Scheduling and routing of automated guided vehicles: A hybrid approach
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- Automatic proofs of termination with elementary interpretations
- Programming constraint services. High-level programming of standard and new constraint services
- 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)
