Solving large combinatorial problems in logic programming

DOI10.1016/0743-1066(90)90052-7zbMath0719.68013DBLPjournals/jlp/DincbasSH90OpenAlexW2085891301WikidataQ56031618 ScholiaQ56031618MaRDI QIDQ5751930

Helmut Simonis, Pascal Van Hentenryck, Mehmet Dincbas

Publication date: 1990

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(90)90052-7

zbMATH Keywords

schedulinglogic programming

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Graph theory (including graph drawing) in computer science (68R10) Combinatorial optimization (90C27) Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (22)

Model-based inference in CHARME. ⋮ Running time experiments on some algorithms for solving propositional satisfiability problems ⋮ Scheduling and routing of automated guided vehicles: A hybrid approach ⋮ New constructs for the description of combinatorial optimization problems in algebraic modeling languages ⋮ Models for global constraint applications ⋮ Industrial linear optimization problems solved by constraint logic programming ⋮ Propositional calculus problems in CHIP ⋮ Path consistency in clp(FD) ⋮ Enhancing CLP branch and bound techniques for scheduling problems ⋮ The Synchronized Dynamic Vehicle Dispatching Problem ⋮ How efficient is a global constraint in practice? A fair experimental framework ⋮ A logic language for combinatorial optimization ⋮ A Column Generation Model for a Scheduling Problem with Maintenance Constraints ⋮ Interval propagation to reason about sets: Definition and implementation of a practical language ⋮ A generic arc-consistency algorithm and its specializations ⋮ Constraint satisfaction using constraint logic programming ⋮ A constraint programming-based solution approach for medical resident scheduling problems ⋮ Compiling a default reasoning system into Prolog ⋮ Choice procedure in fuzzy multicriteria decision analysis based on pairwise comparisons ⋮ Symbolic constraint handling through unification in finite algebras ⋮ Combination of local search and CLP in the vehicle-fleet scheduling problem ⋮ Fuzzy sets and decision analysis

This page was built for publication: Solving large combinatorial problems in logic programming