CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
暂无分享,去创建一个
[1] Pascal Van Hentenryck,et al. Maintaining Longest Paths Incrementally , 2003, Constraints.
[2] Francesca Rossi,et al. Principles and Practice of Constraint Programming – CP 2003 , 2003, Lecture Notes in Computer Science.
[3] Yves Deville,et al. Speeding Up Constrained Path Solvers with a Reachability Propagator , 2005, CP.
[4] Bruno Courcelle,et al. On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic , 1996, Descriptive Complexity and Finite Models.
[5] Bruno Courcelle,et al. The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs , 1990, Inf. Comput..
[6] Yves Deville,et al. The aMAZE LightBench: a web interface to a relational database of cellular processes , 2004, Nucleic Acids Res..
[7] Jean-Charles Régin,et al. Robust and Parallel Solving of a Network Design Problem , 2002, CP.
[8] Peter van Beek,et al. Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.
[9] Bruno Courcelle,et al. The Monadic Second-Order Logic of Graphs X: Linear Orderings , 1996, Theor. Comput. Sci..
[10] Meinolf Sellmann,et al. Cost-Based Filtering for Shorter Path Constraints , 2003, CP.
[11] Yves Deville,et al. An overview of data models for the analysis of biochemical pathways , 2003, Briefings Bioinform..
[12] Eric Bourreau,et al. Conception d'une contrainte globale de chemin , 2004 .
[13] Mikkel Thorup,et al. Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity , 1998, STOC '98.
[14] Michel Gendreau,et al. An Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows , 1998, Transp. Sci..
[15] L. Smith,et al. To be or Not to Be , 1957, Journal of psychiatric nursing and mental health services.
[16] Jean-Louis Laurière,et al. A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..
[17] Yves Deville,et al. An Overview of Data Models for the Analysis of Biochemical Pathways , 2003, CMSB.
[18] Yves Deville,et al. Recherche de chemins contraints dans les réseaux biochimiques , 2004, JFPLC.
[19] Nicolas Beldiceanu,et al. Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type , 2000, CP.
[20] Yves Deville,et al. Approximate Constrained Subgraph Matching , 2005, CP.
[21] Yves Deville,et al. A Mozart Implementation of CP(BioNet) , 2004, MOZ.
[22] Peter Van Roy,et al. Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers , 2005, MOZ.
[23] Xavier Lorca,et al. The tree Constraint , 2005, CPAIOR.
[24] Nicolas Barnier,et al. Solving the Kirkman's schoolgirl problem in a few seconds , 2002 .
[25] Carmen Gervet. New structures of symbolic constraint objects: sets and graphs , 1993 .
[26] Pedro Barahona,et al. PSICO: Solving Protein Structures with Constraint Programming and Optimization , 2002, Constraints.
[27] Didier Croes,et al. Recherches de chemins dans le réseau métabolique et mesure de la distance métabolique entre enzymes , 2006 .
[28] Carmen Gervet,et al. Interval propagation to reason about sets: Definition and implementation of a practical language , 1997, Constraints.
[29] Pascal Van Hentenryck,et al. To Be or Not to Be ... a Global Constraint , 2003, CP.