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: 93,069

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

Constraint Satisfaction in Logic Programming.Pascal Van Hentenryck - 1989 - MIT Press (MA).
Constraints in Computational Logics. Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures.Ralf Esprit Ccl Working Group, Hubert Treinen, Claude Comon & Marché - 2001 - Springer Verlag.
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.
The logic of constraint satisfaction.Alan K. Mackworth - 1992 - Artificial Intelligence 58 (1-3):3-20.
Decomposing constraint satisfaction problems using database techniques.Marc Gyssens, Peter G. Jeavons & David A. Cohen - 1994 - Artificial Intelligence 66 (1):57-89.
Speeding up operations on feature terms using constraint programming and variable symmetry.Santiago Ontañón & Pedro Meseguer - 2015 - Artificial Intelligence 220 (C):104-120.
A new probabilistic constraint logic programming language based on a generalised distribution semantics.Steffen Michels, Arjen Hommersom, Peter J. F. Lucas & Marina Velikova - 2015 - Artificial Intelligence 228 (C):1-44.
Open constraint programming.Boi Faltings & Santiago Macho-Gonzalez - 2005 - Artificial Intelligence 161 (1-2):181-208.
Constrained clustering by constraint programming.Thi-Bich-Hanh Dao, Khanh-Chuong Duong & Christel Vrain - 2017 - Artificial Intelligence 244:70-94.
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.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,344,496)

6 months
4 (#862,832)

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