Carmen Gervet  Home/Search
Context Related
| icparc.doc.ic.ac.u...c_programming_w.ps icparc.ic.ac.uk/ec...c_programming_w.ps icparc.ic.ac.uk/pa...c_programming_w.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: icparc.doc.ic.ac.uk/papers (more) From: icparc.ic.ac.uk/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Combinatorial problems involving sets and relations are currently tackled by integer programming and expressed with vectors or matrices of 0-1 variables. This is efficient but not flexible and unnatural in problem formulation. Toward a natural programming of combinatorial problems based on sets, graphs or relations, we define a new CLP language with set constraints. This language Conjunto 1 aims at combining the declarative aspect of Prolog with the efficiency of constraint solving... (Update)
Cited by: More
Disjoint, Partition and Intersection Constraints for.. - Bessiere, Hebrard.. (Correct)
Biosequence structure searching using clp(FD) - David Gilbert Ingvar (Correct)
Expressing Symmetry Breaking Constraints - Using Multiple Viewpoints (Correct)
Active bibliography (related documents): More All
0.2: Set and Binary Relation Variables Viewed as Constrained Objects.. - Gervet (1993) (Correct)
0.1: Set Constraints: a Pearl in Research on Constraints - Pacholski, Podelski (1997) (Correct)
0.1: Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
Similar documents based on text: More All
0.2: Global Reasoning on Sets - Sadler, Gervet (2001) (Correct)
0.2: Decisi'on Interactiva para un Problema General Fuzzy.. - Jose Cadenas Fernando (Correct)
0.2: Verificaci'on autom'atica de sistemas temporizados.. - Daws, Olivero, Yovine (1996) (Correct)
Related documents from co-citation: More All
13: Embedding extensional finite sets in CLP - Dovier, Rossi - 1993
9: Constraint Satisfaction in Logic Programming (context) - van Hentenryck - 1990
9: Short overview of the CLPS System (context) - Legeard, Legros - 1991
BibTeX entry: (Update)
C. Gervet. Conjunto: constraint logic programming with finite set domains. In Maurice Bruynooghe, editor, Logic Programming - Proceedings of the 1994 International Symposium, pages 339--358, Massachusetts Institute of Technology, 1994. The MIT Press. http://citeseer.ist.psu.edu/gervet94conjunto.html More
@inproceedings{ gervet94conjunto,
author = "Carmen Gervet",
title = "Conjunto: constraint logic programming with finite set domains",
booktitle = "Logic Programming - Proceedings of the 1994 International Symposium",
publisher = "The MIT Press",
address = "Massachusetts Institute of Technology",
editor = "Maurice Bruynooghe",
pages = "339--358",
year = "1994",
url = "citeseer.ist.psu.edu/gervet94conjunto.html" }
Citations (may not include all citations):702 Consistency in networks of relations (context) - Mackworth - 1977
686 A guide to the theory of NP-completeness (context) - Garey, Johnson et al. - 1979
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
267 The Constraint Logic Programming Language CHIP (context) - Dincbas, Simonis et al. - 1988
245 A Compendium of Continuous Lattices (context) - Gierz, Hofman - 1980
220 Rough Sets: Theoretical Aspects of Reasoning about Data (context) - Pawlak - 1991
111 Solving Systems of Set Constraints (context) - Aiken, Wimmers - 1992
100 A generic arc-consistency algorithm and its specializations (context) - Van Hentenryck, Deville et al. - 1992
82 A Decision Procedure for a Class of Set Constraints - Heintze, Jaffar - 1991
76 Set Constraints are the Monadic Class - Bachmair, Ganzinger et al. - 1993
34 Embedding Extensional Finite Sets in CLP - Dovier, Rossi - 1993
20 Constraint Logic Programming with Regular Sets (context) - Walinsky, Sigma - 1989
19 Short overview of the CLPS System (context) - Legeard, Legros - 1991
18 Operational Semantics of Constraint Logic Programming over F.. (context) - Van Hentenryck, Deville - 1991
8 A Language and a Program for Stating and Solving Combinatori.. (context) - Lauriere - 1978
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-icparc.doc.ic.ac.uk/papers.html): More
Constraint Logic Programming for Scheduling and Planning - Lever, Wallace, Richards (1995) (Correct)
Nogood Backmarking With Min-Conflict Repair in.. - Jiang, Richards.. (1994) (Correct)
A Generic Model and Hybrid Algorithm for Hoist Scheduling.. - Rodosek, Wallace (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC