scientific article; zbMATH DE number 1312992

From MaRDI portal
Publication:4254883

zbMath0935.68098MaRDI QIDQ4254883

Peter J. Stuckey, Kim Marriott

Publication date: 1 July 1999


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (58)

Graph Transduction as a Noncooperative GameQuerying incomplete information in RDF with SPARQLECLiPSe – From LP to CLPFiltering algorithms for the multiset ordering constraintLogic programming with solution preferencesCertificate size reduction in abstraction-carrying codeSolving stochastic resource-constrained project scheduling problems by closed-loop approximate dynamic programmingAutomatic Minimal-Height Table LayoutSolving nesting problems with non-convex polygons by constraint logic programmingScheduling and routing of automated guided vehicles: A hybrid approachTiling algebra for constraint-based layout editingA new generic scheme for functional logic programming with constraintsHybrids of Constructive Metaheuristics and Constraint Programming: A Case Study with ACOModeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set ProgrammingFifty Years of Prolog and BeyondOn relation between constraint answer set programming and satisfiability modulo theoriesOrbitopal fixingConstraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume SectionSemiring-Based Soft ConstraintsTCHR: a framework for tabled CLPIntegrated production and material handling scheduling using mathematical programming and constraint programmingSolving RCPSP/max by lazy clause generationPlacement Inference for a Client-Server CalculusPropagation = Lazy Clause GenerationMemetic algorithm timetabling for non-commercial sport leagues.A survey of constraint-based programming paradigmsA unified theory of structural tractability for constraint satisfaction problemsUnnamed Itematalog: A logic language for expressing search and optimization problemsAn analysis of arithmetic constraints on integer intervalsAutomatic generation of redundant models for permutation constraint satisfaction problemsTowards constraint-based school timetablingAutomatic Proofs of Termination With Elementary InterpretationsLazy Constraint Imposing for Improving the Path ConstraintA hybrid differential evolution algorithm with column generation for resource constrained job schedulingNew model and heuristics for safety stock placement in general acyclic supply chain networksLinear Structures for Concurrency in Probabilistic Programming LanguagesOn the Number of Rule Applications in Constraint ProgramsRecognizing frozen variables in constraint satisfaction problemsPropagation via lazy clause generationRecurrence with affine level mappings is P-time decidable for CLPA Lagrangian-ACO matheuristic for car sequencingDescription, Implementation, and Evaluation of a Generic Design for Tabled CLPIncremental and Modular Context-sensitive AnalysisPartially distributed outer approximationThree perspectives for solving the job grouping problemOptimal placement of valves in a water distribution network with CLP(FD)Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintesIntegrating answer set programming and constraint logic programmingMonadic constraint programmingSelective Unification in (Constraint) Logic Programming*Local consistency for extended CSPsWombit: a portfolio bit-vector solver using word-level propagationA new branch-and-filter exact algorithm for binary constraint satisfaction problemsDetection of the discrete convexity of polyominoesMixed global constraints and inference in hybrid CLP--IP solversBackjump-based backtracking for constraint satisfaction problemsAn algorithm-independent measure of progress for linear constraint propagation




This page was built for publication: