Yves Deville

Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy: Domain consistency with forbidden values. Constraints 18(3): 377-403 (2013)

Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville: Constraint-based Very Large-Scale Neighborhood search. Constraints 17(2): 87-122 (2012)

Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck: LS(Graph): a constraint-based local search for constraint optimization on trees and paths. Constraints 17(4): 357-408 (2012)

Quang-Dung Pham, Yves Deville: Solving the quorumcast routing problem by constraint programming. Constraints 17(4): 409-431 (2012)

Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville: An Optimal Filtering Algorithm for Table Constraints. CP 2012: 496-511

Florence Massen, Yves Deville, Pascal Van Hentenryck: Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. CPAIOR 2012: 260-274

Quang-Dung Pham, Yves Deville: Solving the Longest Simple Path Problem with Constraint-Based Techniques. CPAIOR 2012: 292-306

Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon, Pierre-Antoine Champin: Castor: A Constraint-Based SPARQL Engine with Active Filter Processing. ESWC 2012: 391-405

Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville: Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints 16(2): 125-147 (2011)

Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon: An Efficient Light Solver for Querying the Semantic Web. CP 2011: 145-159

Quoc Trung Bui, Quang-Dung Pham, Yves Deville: Constraint-based local search for fields partitioning problem. SoICT 2011: 19-28

Ho Trong Viet, Yves Deville, Olivier Bonaventure, Pierre François: Traffic engineering for multiple spanning tree protocol in large data centers. International Teletraffic Congress 2011: 23-30

Stéphane Zampelli, Yves Deville, Christine Solnon: Solving subgraph isomorphism problems with constraint programming. Constraints 15(3): 327-353 (2010)

Yves Deville, Pascal Van Hentenryck: Domain Consistency with Forbidden Values. CP 2010: 191-205

Julien Dupuis, Pierre Schaus, Yves Deville: Consistency Check for the Bin Packing Constraint Revisited. CPAIOR 2010: 117-122

Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: Constraint-Based Local Search for Constrained Optimum Paths Problems. CPAIOR 2010: 267-281

Pham Quang Dung, Phan-Thuan Do, Yves Deville, Tuong-Vinh Ho: Constraint-based local search for solving non-simple paths problems on graphs: application to the routing for network covering problem. SoICT 2010: 1-8

Ho Trong Viet, Olivier Bonaventure, Yves Deville, Pham Quang Dung, Pierre François: Using local search for traffic engineering in switched Ethernet networks. International Teletraffic Congress 2010: 1-8

Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck: Just-In-Time Scheduling with Constraint Programming. ICAPS 2009

Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon: Constraint-Based Graph Matching. CP 2009: 274-288

Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: LS(graph & tree): a local search framework for constraint optimization on graphs and trees. SAC 2009: 1402-1407

Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract). LSCS 2009: 5-11

Yves Deville, Christine Solnon (Eds.): Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction. EPTCS 5, 2009

Sylvain Brohée, Karoline Faust, Gipsi Lima-Mendez, Olivier Sand, Rekin's Janky, Gilles Vanderstocken, Yves Deville, Jacques van Helden: NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways. Nucleic Acids Research 36(Web-Server-Issue): 444-451 (2008)

Pierre Schaus, Yves Deville: A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. AAAI 2008: 369-374

Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen: Decomposition Techniques for Subgraph Matching. CoRR abs/0805.1030 (2008)

Pierre Schaus, Yves Deville, Pierre Dupont: Bound-Consistent Deviation Constraint. CP 2007: 620-634

Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont: Filtering for Subgraph Isomorphism. CP 2007: 728-742

Jean-Noël Monette, Yves Deville, Pierre Dupont: A Position-Based Propagator for the Open-Shop Problem. CPAIOR 2007: 186-199

Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin: The Deviation Constraint. CPAIOR 2007: 260-274

Yves Deville, Grégoire Dooms, Stéphane Zampelli: Combining Two Structured Domains for Modeling Various Graph Matching Problems. CSCLP 2007: 76-90

Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet: Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87

Yves Deville: Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5. TPLP 5(4-5): 595-600 (2005)

Grégoire Dooms, Yves Deville, Pierre Dupont: CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. CP 2005: 211-225

Stéphane Zampelli, Yves Deville, Pierre Dupont: Approximate Constrained Subgraph Matching. CP 2005: 832-836

Luis Quesada, Peter Van Roy, Yves Deville: Speeding Up Constrained Path Solvers with a Reachability Propagator. CP 2005: 866

Christian Lemer, Erick Antezana, Fabian Couche, Frédéric Fays, Xavier Santolaria, Rekin's Janky, Yves Deville, Jean Richelle, Shoshana J. Wodak: The aMAZE LightBench: a web interface to a relational database of cellular processes. Nucleic Acids Research 32(Database-Issue): 443-448 (2004)

Grégoire Dooms, Yves Deville, Pierre Dupont: Recherche de chemins contraints dans les réseaux biochimiques. JFPLC 2004

David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson: Synthesis of Programs in Computational Logic. Program Development in Computational Logic 2004: 30-65

Grégoire Dooms, Yves Deville, Pierre Dupont: A Mozart Implementation of CP(BioNet). MOZ 2004: 237-250

Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An overview of data models for the analysis of biochemical pathways. Briefings in Bioinformatics 4(3): 246-259 (2003)

Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174

Aik Choon Tan, David Gilbert, Yves Deville: Integrative machine learning approach for multi-class SCOP protein fold classification. German Conference on Bioinformatics 2003: 153-159

Nguyen Tran Sy, Yves Deville: Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE 2003: 108-117

Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. Constraints 7(3-4): 289-315 (2002)

Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM J. Numerical Analysis 40(5): 1896-1939 (2002)

Philippe Massonet, Yves Deville, Cédric Nève: From AOSE methodology to agent implementation. AAMAS 2002: 27-34

Micha Janssen, Pascal Van Hentenryck, Yves Deville: Optimal Pruning in Parametric Differential Equations. CP 2001: 539-553

Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302

Nguyen Tran Sy, Yves Deville: Automatic Test Data Generation for Programs with Integer and Float Variables. ASE 2001: 13-21

E. Poupaert, Yves Deville: Simulated Annealing with Estimated Temperature. AI Commun. 13(1): 19-26 (2000)

Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. 109(1-2): 243-271 (1999)

Annalisa Bossi, Yves Deville: Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. J. Log. Program. 41(2-3): 139-140 (1999)

Micha Janssen, Yves Deville, Pascal Van Hentenryck: Multistep Filtering Operators for Ordinary Differential Equations. CP 1999: 246-260

Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. 37(1-3): 139-164 (1998)

T. Nguyen, Yves Deville: A Distributed Arc-Consistency Algorithm. Sci. Comput. Program. 30(1-2): 227-250 (1998)

Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. CP 1998: 162-176

Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411

Eric Chasseur, Yves Deville: Logic Program Schemas, Constraints, and Semi-unification. LOPSTR 1997: 69-89

Pierre Flener, Yves Deville: Logic Program Transformation through Generalization Schemata. LOPSTR 1995: 171-173

Yves Deville, Kung-Kiu Lau: Logic Program Synthesis. J. Log. Program. 19/20: 321-350 (1994)

Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). Constraint Programming 1994: 293-316

Pierre Flener, Yves Deville: Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. 15(5/6): 778-805 (1993)

Vincent Lombart, Geraint A. Wiggins, Yves Deville: Guiding Synthesis Proofs. LOPSTR 1993: 67-81

Pascal Van Hentenryck, Yves Deville, Choh-Man Teng: A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. 57(2-3): 291-321 (1992)

Pierre Flener, Yves Deville: SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE 1992: 9-15

Pierre Flener, Yves Deville: Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 67-96

Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP 1991: 745-759

Yves Deville, Leon Sterling, Pierre Deransart: Software Development and Logic Programming. ICLP 1991: 941

Yves Deville, Pascal Van Hentenryck: An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330

Pierre Flener, Yves Deville: Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR 1991: 46-64

Pascal Van Hentenryck, Yves Deville: Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP 1991: 395-406

Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403

Yves Deville: Logic programming - systematic program development. International series in logic programming, Addison-Wesley 1990, isbn 978-0-201-17576-9, pp. I-XVII, 1-338

Yves Deville, Pascal Van Hentenryck: Construction of CLP Programs. ALPUK 1990: 112-135

Yves Deville, Jean Burnay: Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. NACLP 1989: 409-425