Constraint satisfaction using constraint logic programming

, &
Artificial Intelligence 58 (1-3):113-159 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90006-j

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers.B. O'sullivan - 2003
Constraint Satisfaction in Logic Programming.Pascal Van Hentenryck - 1989 - MIT Press (MA).
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budapest, Hungary, June 30 - July 2, 2003 : Selected Papers.Krzysztof Apt, Francois Fages, Francesca Rossi, Peter Szeredi & Josef Váncza - 2004 - Springer Verlag.
Category-based Semantics for Equational and Constraint Logic Programming.Răzvan Diaconescu - 1994
The Constraint Satisfaction Problem and Universal Algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.
The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
A Compactness Theorem For Infinite Constraint Satisfaction.Robert Cowen - 1998 - Reports on Mathematical Logic:97-107.
Programming with Constraints: An Introduction.Kim Marriott & Peter J. Stuckey - 1998 - MIT Press.
Computational molecular biology: A promising application using logic programming and constraint logic programming.J. Cohen - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.
Constraint Logic Programming: Selected Research.Frédéric Benhamou & Alain Colmerauer - 1993 - MIT Press.
Constraint satisfaction problem with bilevel constraint: application to interpretation of over-segmented images.A. Deruyver & Y. Hodé - 1997 - Artificial Intelligence 93 (1-2):321-335.
Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction.John Hooker - 2011 - Wiley.
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
Constraint satisfaction over connected row-convex constraints.Yves Deville, Olivier Barette & Pascal Van Hentenryck - 1999 - Artificial Intelligence 109 (1-2):243-271.
Three Feasibility Constraints on the Concept of Justice.Naima Chahboun - 2017 - Res Publica 23 (4):431-452.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,430,516)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Planning as heuristic search.Blai Bonet & Héctor Geffner - 2001 - Artificial Intelligence 129 (1-2):5-33.
Machine discovery in chemistry: new results.Raúl E. Valdés-Pérez - 1995 - Artificial Intelligence 74 (1):191-201.

Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
Consistency in networks of relations.Alan K. Mackworth - 1977 - Artificial Intelligence 8 (1):99-118.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
Arc and path consistency revisited.Roger Mohr & Thomas C. Henderson - 1986 - Artificial Intelligence 28 (2):225-233.

View all 7 references / Add more references