A language and a program for stating and solving combinatorial problems

From MaRDI portal
Publication:1245009

DOI10.1016/0004-3702(78)90029-2zbMath0374.68060OpenAlexW2002597376WikidataQ56031619 ScholiaQ56031619MaRDI QIDQ1245009

Jean-Louis Laurière

Publication date: 1978

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(78)90029-2



Related Items

Constraint programming and operations research, Intruder alert! Optimization models for solving the mobile robot graph-clear problem, Model-based inference in CHARME., Tractability-preserving transformations of global cost functions, Undirected forest constraints, Automated theorem proving in mathematics., Combining Two Structured Domains for Modeling Various Graph Matching Problems, MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics, New constructs for the description of combinatorial optimization problems in algebraic modeling languages, Propositional calculus problems in CHIP, Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption., A new order relation on fuzzy soft sets and its application, A logic language for combinatorial optimization, Improved filtering for weighted circuit constraints, Using dual presolving reductions to reformulate cumulative constraints, The design of the zinc modelling language, Essence: A constraint language for specifying combinatorial problems, Integrating operations research in constraint programming, Interval propagation to reason about sets: Definition and implementation of a practical language, Integrating operations research in constraint programming, A generic arc-consistency algorithm and its specializations, Constraint satisfaction using constraint logic programming, An improved particle swarm optimization algorithm for flowshop scheduling problem, A constraint programming primer, Core group placement: allocation and provisioning of heterogeneous resources, Tesseral spatio-temporal reasoning for multi-dimensional data, Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction, A linear and discrete programming framework for representing qualitative knowledge, Tools for reformulating logical forms into zero-one mixed integer programs, Backjump-based backtracking for constraint satisfaction problems



Cites Work