Solving large combinatorial problems in logic programming
From MaRDI portal
Publication:5751930
DOI10.1016/0743-1066(90)90052-7zbMath0719.68013OpenAlexW2085891301WikidataQ56031618 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
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
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
