The CP(Graph) Computation Domain  in Constraint Programming

The CP(Graph) Computation Domain in Constraint Programming (2006)

Cached

Download Links

by Grégoire Dooms

Citations:

BibTeX

@MISC{Dooms06thecp(graph),
    author = {Grégoire Dooms},
    title = {The CP(Graph) Computation Domain in Constraint Programming},
    year = {2006}
}

Bookmark

OpenURL

Abstract

Dissertation présentée en vue de l’obtention du titre de Docteur en

Citations

7321	Introduction to Algorithms - Cormen, Leiserson, et al. - 2001
1011	A note on two problems in connexion with graphs. Numerische Mathematik 1: 269–271 - Dijkstra - 1959
458	Lattice Theory - Birkhoff - 1967
115	Arc consistency for general constraint networks: preliminary results - Bessière, Régin - 1997
74	Refining the basic constraint propagation algorithm - Bessière, Régin - 2001
57	On the reification of global constraints - Beldiceanu, Carlsson, et al. - 2012
48	Verification and sensitivity analysis of minimum spanning trees in linear time - Dixon, Rauch, et al. - 1992
46	A graph-constructive approach to solving systems of geometric constraints - Fudos, Hoffmann - 1997
42	J.X.: Global constraint catalog - Beldiceanu, Carlsson, et al. - 2010
39	Solving small TSP’s with constraints - Caseau, Laburthe - 1997
37	Heterogeneous constraint solving - Benhamou - 1996
26	Design and implementation of the gnu prolog system - Diaz, Codognet - 2001
25	Solving TSP with time windows with constraints - Focacci, Lodi, et al. - 1999
24	Essentials of Constraint Programming - Frühwirth, Abdennadher - 2003
21	Cutting planes in constraint programming: An hybrid approach - Focacci, Lodi, et al. - 2000
18	The tree constraint - Beldiceanu, Flener, et al. - 2005
15	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables - Bessiere, Hebrard, et al.
15	Finding the k smallest spanning trees - Eppstein - 1990
14	Modelling digital circuits problems with set constraints - Azevedo, Barahona
12	Setting parameters by example - Eppstein
11	Filtering algorithms for the same constraint - Beldiceanu, Katriel, et al. - 2004
11	Traitement de contraintes sur les graphes en programmation par contraintes - Bourreau - 1999
11	On the expression of graph properties in some fragments of monadic secondorder logic - Courcelle - 1996
10	O jistém problému minimálním - Boruvka - 1926
10	Constrained path finding in biochemical networks - Dooms, Deville, et al. - 2004
9	Conception d’une contrainte globale de chemin - Cambazard, Bourreau - 2004
7	Caneghem. Prolog, bases theoriques et developpements actuels - Colmerauer, Kanoui, et al. - 1983
7	Cp(graph+map) for approximate graph matching - Deville, Dooms, et al. - 2005
7	Extended unification algorithms for the integration of functional programming into logic programming - Dincbas, Hentenryck - 1987
7	Constrained path and cycle problems - Dumitrescu
6	A constraints satisfaction approach to the robust spanning tree problem with interval data - Aron, Hentenryck - 2002
6	Combining tree partitioning, precedence, and incomparability constraints - Beldiceanu, Flener, et al.
5	Graph Invariants as Necessary Conditions for Global Constraints - Beldiceanu, Carlsson, et al. - 2005
5	The RANGE Constraint: Algorithms and Implementation - Bessiere, Hebrard, et al.
5	Solution of the knight's Hamiltonian path problem on chessboards - Conrad, Hindrichs, et al. - 1994
5	Dupont: A mozart implementation of cp(bionet - Dooms, Deville, et al. - 2004
5	P.: Recherche de chemins contraints dans les réseaux biochimiques - Dooms, Deville, et al. - 2004
3	Exploring the use of constraint programming for enforcing connectivity during graph generation - unknown authors - 2005
3	Recherche de chemins dans le réseau métabolique et mesure de la distance métabolique entre enzymes - Croes - 2005
1	Using graph properties for global constraints for necessary conditions and filtering - Beldiceanu, Carlsson, et al. - 2006
1	Engineering (dynamic) shortest path algorithms (a round trip between theory and experiments - Demetrescu
1	CLP(BioNet) : Towards a CLP framework for the analysis of biochemical networks - Deville - 2004
1	Constraint logic programming for graphs - Dundacek - 1996