Yves Deville

发表

Constraint-based Very Large-Scale Neighborhood search

Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville, 2012, Constraints.

The Static and Stochastic Vehicle Routing Problem with Time Windows and both random Customers and Reveal Times (abstract)

Yves Deville, Michael Saint-Guillain, Anthony Papavasiliou, 2016 .

Bound-Consistent Deviation Constraint

Yves Deville, Pierre Schaus, Pierre Dupont, 2007, CP.

Pédagogie active pour l’apprentissage de la programmation

Yves Deville, Pascale Wouters, 2014 .

Using Dominators for Solving Constrained Path Problems

Yves Deville, Raphaël Collet, Peter Van Roy, 2006, PADL.

Acceptance driven Local Search and Evolutionary Algorithms

Yves Deville, Eric Poupaert, Y. Deville, 2001 .

Speeding Up Constrained Path Solvers with a Reachability Propagator

Yves Deville, Peter Van Roy, Luis Quesada, 2005, CP.

Solving the quorumcast routing problem by constraint programming

Yves Deville, Pham Quang Dung, 2012, Constraints.

Application of blind source separation techniques to multi-tag contactless identification systems

Yves Deville, L. Andry, 1995 .

Castor: A Constraint-Based SPARQL Engine with Active Filter Processing

Yves Deville, Pierre-Antoine Champin, Christine Solnon, 2012, ESWC.

Constraint-Based Local Search for Constrained Optimum Paths Problems

Pascal Van Hentenryck, Yves Deville, Pham Quang Dung, 2010, CPAIOR.

Optimal Pruning in Parametric Differential Equations

Pascal Van Hentenryck, Yves Deville, Micha Janssen, 2001, CP.

A Position-Based Propagator for the Open-Shop Problem

Yves Deville, Pierre Dupont, Jean-Noël Monette, 2007, CPAIOR.

An Efficient Arc Consistency Algorithm for a Class of CSP Problems

Pascal Van Hentenryck, Yves Deville, Y. Deville, 1991, IJCAI.

Representing and Analyzing Biochemical Networks Using BioMaze

Yves Deville, Shoshana J. Wodak, Christian Lemer, 2007 .

Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace

Thomas Stützle, Yves Deville, Manuel López-Ibáñez, 2013, Hybrid Metaheuristics.

The StockingCost Constraint

Laurence A. Wolsey, Yves Deville, Pierre Schaus, 2014, CP.

Consistency Techniques in Ordinary Differential Equations

Pascal Van Hentenryck, Yves Deville, Micha Janssen, 1998, CP.

An adaptive pre-processing for on-line hand-written character recognition by blind people

Yves Deville, Jean-Didier Legat, Renaud de Saint Moulin, 1998 .

A relaxation-guided approach for vehicle routing problems with black box feasibility

Pascal Van Hentenryck, Yves Deville, Florence Massen, 2011 .

Solving the Quorumcast Routing Problem as a Mixed Integer Program

Yves Deville, Pham Quang Dung, Quoc Trung Bui, 2014, CPAIOR.

Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling

Yves Deville, Cyrille Dejemeppe, Y. Deville, 2014, CPAIOR.

NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways

Yves Deville, Jacques van Helden, Karoline Faust, 2008, Nucleic Acids Res..

The Semantics of Numerica

Pascal Van Hentenryck, Yves Deville, Laurent Michel, 1997 .

The Static and Stochastic VRP with Time Windows and both Random Customers and Reveal Times

Yves Deville, Michael Saint-Guillain, Christine Solnon, 2017, EvoApplications.

Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility

Pascal Van Hentenryck, Yves Deville, Florence Massen, 2012, CPAIOR.

LS(Graph): a constraint-based local search for constraint optimization on trees and paths

Pascal Van Hentenryck, Yves Deville, Pham Quang Dung, 2012, Constraints.

Consistency Techniques in Ordinary Differential Equations

Pascal Van Hentenryck, Yves Deville, Micha Janssen, 1998, Constraints.

Design, Implementation, and Evaluation of the Constraint Language cc(FD)

Pascal Van Hentenryck, Yves Deville, Vijay A. Saraswat, 1994, Constraint Programming.

Constraint-Based Graph Matching

Yves Deville, Christine Solnon, Vianney le Clément de Saint-Marcq, 2009, CP.

The Cardinality Operator: A New Logical Connective for Constraint Logic Programming

Pascal Van Hentenryck, Yves Deville, Y. Deville, 1990, WCLP.

Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction: Preface

Yves Deville, Christine Solnon, 2009 .

A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem

Yves Deville, Pierre Schaus, P. Schaus, 2008, AAAI.

Multi-objective traffic engineering for data center networks

Yves Deville, Olivier Bonaventure, Ho Trong Viet, 2014, Comput. Networks.

Simulated Annealing with Estimated Temperature

Yves Deville, E. Poupaert, 2000, AI Commun..

Analysis of Distributed Arc-Consistency Algorithms

Yves Deville, Benoit Baudot, Y. Deville, 1997 .

Group Kernels for Gaussian Process Metamodels with Categorical Inputs

Yves Deville, Olivier Roustant, Jean Giorla, 2018, SIAM/ASA J. Uncertain. Quantification.

Implementation of a traffic engineering technique that preserves IP Fast Reroute inCOMET

Yves Deville, Olivier Bonaventure, Pierre Francois, 2009 .

Logic Program Schemas, Constraints, and Semi-unification

Yves Deville, Eric Chasseur, 1997, LOPSTR.

Castor: Using Constraint Programming to Solve SPARQL Queries

Yves Deville, Pierre-Antoine Champin, Christine Solnon, 2011, ISWC 2011.

Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5

Yves Deville, Y. Deville, 2005, Theory Pract. Log. Program..

Automatic test data generation for programs with integer and float variables

Yves Deville, Nguyen Tran Sy, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

Robustly disjoint paths with segment routing

Yves Deville, Olivier Bonaventure, Stefano Vissicchio, 2018, CoNEXT.

Multistep Filtering Operators for Ordinary Differential Equations

Pascal Van Hentenryck, Yves Deville, Micha Janssen, 1999, CP.

Decomposition Techniques for Subgraph Matching pdf

Yves Deville, Rolf Backofen, Stéphane Zampelli, 2008, ArXiv.

Towards Stepwise, Schema-guided Synthesis of Logic Programms

Yves Deville, Pierre Flener, 1991, LOPSTR.

Une heuristique de génération de colonnes pour le problème de tournees de vehicules avec faisabilité boite noire,Extended Abstract

Pascal Van Hentenryck, Yves Deville, Florence Massen, 2012 .

Consistency Check for the Bin Packing Constraint Revisited

Yves Deville, Pierre Schaus, Julien Dupuis, 2010, CPAIOR.

Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS

Pascal Van Hentenryck, Yves Deville, Carleton Coffrin, 2010, Constraints.

Heuristic methods for the Traveling Salesman Problem with Drone pdf

Yves Deville, Pham Quang Dung, Minh Hoàng Hà, 2015, ArXiv.

Reachability: a constrained path propagator implemented as a multi-agent system

Yves Deville, Peter Van Roy, Luis Quesada, 2005 .

SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications

Yves Deville, Pierre Flener, P. Flener, 1992, LPE.

Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs

Yves Deville, Jean Burnay, 1989, NACLP.

Domain Consistency with Forbidden Values

Pascal Van Hentenryck, Yves Deville, 2010, CP.

Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs

Yves Deville, Pierre Flener, 1991, ICLP Workshop on Construction of Logic Programs.

CP(Graph): Introducing a Graph Computation Domain in Constraint Programming

Yves Deville, Pierre Dupont, Grégoire Dooms, 2005, CP.

Extending Compact-Table to Basic Smart Tables

Yves Deville, Pierre Schaus, Christophe Lecoutre, 2017, CP.

Traffic duplication through segmentable disjoint paths

Yves Deville, Olivier Bonaventure, David Lebrun, 2015, 2015 IFIP Networking Conference (IFIP Networking).

Logic programming - systematic program development

Yves Deville, Y. Deville, 1990, International series in logic programming.

Numerica: A Modeling Language for Global Optimization

Pascal Van Hentenryck, Yves Deville, Laurent D. Michel, 1997, IJCAI.

Logic Program Synthesis and Transformation

Yves Deville, Y. Deville, J. V. Rijsbergen, 1994, Workshops in Computing.

A Framework to Understand, Analyse and Describe Online and Open Education in Higher Education

Yves Deville, Christine Jacqmot, Françoise Docq, 2020, CSEDU.

Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm

Yves Deville, Pierre Schaus, Cyrille Dejemeppe, 2015, CPAIOR.

The aMAZE LightBench: a web interface to a relational database of cellular processes

Yves Deville, Shoshana J. Wodak, Jean Richelle, 2004, Nucleic Acids Res..

A Constraint Satisfaction Approach to Parametric Differential Equations

Pascal Van Hentenryck, Yves Deville, Micha Janssen, 2001, IJCAI.

The Smart Table Constraint

Yves Deville, Christophe Lecoutre, Jean-Baptiste Mairy, 2015, CPAIOR.

Proceedings of the Fifth Symposium on Information and Communication Technology, SoICT '14, Hanoi, Vietnam, December 4-5, 2014

Yves Deville, Huynh Quyet Thang, Marc Bui, 2014, SoICT.

Soft-Regular with a Prefix-Size Violation Measure

Yves Deville, Pierre Schaus, Christophe Lecoutre, 2018, CPAIOR.

A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW pdf

Yves Deville, Michael Saint-Guillain, Christine Solnon, 2015, CPAIOR.

A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract)

Pascal Van Hentenryck, Yves Deville, Pham Quang Dung, 2009, LSCS.

A hybrid genetic algorithm for the traveling salesman problem with drone

Yves Deville, Pham Quang Dung, Minh Hoàng Hà, 2018, J. Heuristics.

Design, Implementation, and Evaluation of the Constraint Language cc(FD)

Pascal Van Hentenryck, Yves Deville, Vijay A. Saraswat, 1994, Constraint Programming.

Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2

Yves Deville, Annalisa Bossi, 1999, J. Log. Program..

Efficient Reification of Table Constraints

Yves Deville, Pierre Schaus, Christophe Lecoutre, 2017, 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).

LS(graph & tree): a local search framework for constraint optimization on graphs and trees

Pascal Van Hentenryck, Yves Deville, Pham Quang Dung, 2009, SAC '09.

Modeling in Numerica

Pascal Van Hentenryck, Yves Deville, Laurent Michel, 1997 .

Logic Program Transformation through Generalization Schemata

Yves Deville, Pierre Flener, 1995, LOPSTR.

Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints

Yves Deville, Baudouin Le Charlier, Christophe Lecoutre, 2017, IJCAI.

A Project-Based Introduction to Agile Software Development

Yves Deville, Sascha Van Cauwelaert, Cyrille Dejemeppe, 2014 .

A CP Approach to the Balanced Academic Curriculum Problem

Yves Deville, Pierre Schaus, Pierre Dupont, 2007 .

Special issue: synthesis, transformation and analysis of logic programs

Yves Deville, Annalisa Bossi, 1999 .

Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search

Yves Deville, Pham Quang Dung, Quoc Trung Bui, 2013, CP.

An Optimal Filtering Algorithm for Table Constraints

Pascal Van Hentenryck, Yves Deville, Jean-Baptiste Mairy, 2012, CP.

From AOSE methodology to agent implementation

Yves Deville, Philippe Massonet, Cédric Nève, 2002, AAMAS '02.

Guiding Synthesis Proofs

Yves Deville, Geraint A. Wiggins, Vincent Lombart, 1993, LOPSTR.

Traffic engineering for multiple spanning tree protocol in large data centers

Yves Deville, Olivier Bonaventure, Pierre François, 2011, 2011 23rd International Teletraffic Congress (ITC).

SolverCheck: Declarative Testing of Constraints

Yves Deville, Pierre Schaus, Xavier Gillard, 2019, CP.

Aeon: Synthesizing Scheduling Algorithms from High-Level Models

Pascal Van Hentenryck, Yves Deville, Jean-Noël Monette, 2009 .

Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency

Yves Deville, Christophe Lecoutre, Jean-Baptiste Mairy, 2014, CPAIOR.

An Object-Oriented Data Model for Signal Transduction

Yves Deville, Shoshana J. Wodak, David Gilbert, 2003 .

Recherche de chemins contraints dans les réseaux biochimiques

Yves Deville, Pierre Dupont, Grégoire Dooms, 2004, JFPLC.

Exact methods for solving the elementary shortest and longest path problems

Yves Deville, Pham Quang Dung, Quoc Trung Bui, 2016, Ann. Oper. Res..

Construction of CLP Programs

Pascal Van Hentenryck, Yves Deville, Y. Deville, 1990, ALPUK.

An overview of data models for the analysis of biochemical pathways

Yves Deville, David R. Gilbert, Shoshana J. Wodak, 2003, Briefings Bioinform..

Relevant subgraph extraction from random walks in a graph

Yves Deville, Pierre Dupont, Jérôme Callut, 2006 .

Simplification and extension of the SPREAD Constraint

Yves Deville, Pierre Schaus, Pierre Dupont, 2006 .

Filtering for Subgraph Isomorphism

Yves Deville, Christine Solnon, Pierre Dupont, 2007, CP.

Constraint-based local search for fields partitioning problem

Yves Deville, Pham Quang Dung, Quoc Trung Bui, 2011, SoICT '11.

Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction

Yves Deville, Christine Solnon, 2009 .

Consistency techniques for interprocedural test data generation

Yves Deville, Nguyen Tran Sy, 2003, ESEC/FSE-11.

Progressive Focus Search for the Static and Stochastic VRPTW with both Random Customers and Reveal Times pdf

Yves Deville, Michael Saint-Guillain, Christine Solnon, 2019, ArXiv.

A Mozart Implementation of CP(BioNet)

Yves Deville, Pierre Dupont, Grégoire Dooms, 2004, MOZ.

A Generic Arc-Consistency Algorithm and its Specializations

Pascal Van Hentenryck, Yves Deville, Choh-Man Teng, 1992, Artif. Intell..

Editors' Introduction to the Special Issue on "Information and Communication Technology"

Luc De Raedt, Yves Deville, Marc Bui, 2017, Informatica.

Multi-class protein fold classification using a new ensemble machine learning approach.

Yves Deville, Aik Choon Tan, David Gilbert, 2003, Genome informatics. International Conference on Genome Informatics.

A Distributed Arc-Consistency Algorithm

Yves Deville, T. Nguyen, Y. Deville, 1995, Sci. Comput. Program..

Combining Two Structured Domains for Modeling Various Graph Matching Problems

Yves Deville, Stéphane Zampelli, Grégoire Dooms, 2008, CSCLP.

DiceKriging, DiceOptim: Two R Packages for the Analysis of Computer Experiments by Kriging-Based Metamodeling and Optimization

Yves Deville, David Ginsbourger, Olivier Roustant, 2012 .

Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover: ISBN 0-262-22069-5, xxvii + 900 pages, 55$

Yves Deville, 2005 .

Constraint processing in cc(fd)

Pascal Van Hentenryck, Yves Deville, Vijay Saraswat, 1992 .

Operational Semantics of Constraint Logic Programming over Finite Domains

Pascal Van Hentenryck, Yves Deville, 1991, PLILP.

An Efficient Light Solver for Querying the Semantic Web

Yves Deville, Christine Solnon, Vianney le Clément de Saint-Marcq, 2011, CP.

A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations

Pascal Van Hentenryck, Yves Deville, Micha Janssen, 2002, SIAM J. Numer. Anal..

Logic Program Synthesis from Incomplete Specifications

Yves Deville, Pierre Flener, P. Flener, 1993, J. Symb. Comput..

On the Min-cost Traveling Salesman Problem with Drone pdf

Yves Deville, Minh Hoàng Hà, Quang Minh Ha, 2015, ArXiv.

Constrained path finding in biochemical networks

Yves Deville, Pierre Dupont, Grégoire Dooms, 2004 .

Logic programming

Yves Deville, 1990 .

Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

Yves Deville, 1994, LOPSTR.

An Overview of Data Models for the Analysis of Biochemical Pathways

Yves Deville, David R. Gilbert, Shoshana J. Wodak, 2003, CMSB.

Solving subgraph isomorphism problems with constraint programming

Yves Deville, Christine Solnon, Stéphane Zampelli, 2009, Constraints.

Proceedings of the Sixth International Symposium on Information and Communication Technology

Luc De Raedt, Yves Deville, Huynh Quyet Thang, 2015 .

Domain consistency with forbidden values

Pascal Van Hentenryck, Yves Deville, Jean-Baptiste Mairy, 2010, Constraints.

The Dial-a-Ride Problem with Transfers and Stochastic Customers

Yves Deville, Michael Saint-Guillain, Christine Solnon, 2014, CP 2014.

Using local search for traffic engineering in switched Ethernet networks

Yves Deville, Olivier Bonaventure, Pham Quang Dung, 2010, 2010 22nd International Teletraffic Congress (lTC 22).

Toward a Generic Comet Implementation of Very Large-Scale Neighborhoods

Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville, 2008 .

The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies pdf

Yves Deville, Michael Saint-Guillain, Christine Solnon, 2017, ArXiv.

Efficient Selection of Time Samples for Higher-Order DPA with Projection Pursuits

Yves Deville, François Durvaux, François-Xavier Standaert, 2015, COSADE.

BioEdge: a tool box for advanced analyses of biochemical networks

Yves Deville, Shoshana J. Wodak, Pierre Schaus, 2007 .

Logic Program Synthesis

Yves Deville, Kung-Kiu Lau, Y. Deville, 1994, J. Log. Program..

Just-In-Time Scheduling with Constraint Programming

Pascal Van Hentenryck, Yves Deville, Jean-Noël Monette, 2009, ICAPS.

Software Development and Logic Programming

Leon Sterling, Yves Deville, Pierre Deransart, 1991, ICLP.

From logic design to logic programming: Theorem proving techniques and P-functions: By D. Snyers and A. Thayse. Lecture Notes in Computer Science 271, Springer, Berlin, 1987, 125 pages

Yves Deville, 1988 .

Synthesis of Programs in Computational Logic

Yves Deville, Jørgen Fischer Nilsson, Pierre Flener, 2004, Program Development in Computational Logic.

Integrative machine learning approach for multi-class SCOP protein fold classification

Yves Deville, David R. Gilbert, Aik Choon Tan, 2003, German Conference on Bioinformatics.

SCMon: Leveraging segment routing to improve network monitoring

Yves Deville, Olivier Bonaventure, Stefano Vissicchio, 2016, IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications.

Optimal and efficient filtering algorithms for table constraints

Pascal Van Hentenryck, Yves Deville, Jean-Baptiste Mairy, 2013, Constraints.

The Deviation Constraint

Yves Deville, Pierre Schaus, Pierre Dupont, 2007, CPAIOR.

the Renext package user guide

Yves Deville, Y. Deville, 2015 .

Constraint Satisfaction over Connected Row Convex Constraints

Pascal Van Hentenryck, Yves Deville, Olivier Barette, 1997, Artif. Intell..

A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows

Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville, 2015, Transp. Sci..

Introduction to Special issue on "The Sixth International Symposium on Information and Communication Technology -SoICT 2015

Luc De Raedt, Yves Deville, Marc Bui, 2016, Informatica.

Reinforced Adaptive Large Neighborhood Search

Pascal Van Hentenryck, Yves Deville, Jean-Baptiste Mairy, 2011 .

Solving the Longest Simple Path Problem with Constraint-Based Techniques

Yves Deville, Pham Quang Dung, 2012, CPAIOR.

Constraint-based local search for solving non-simple paths problems on graphs: application to the routing for network covering problem

Yves Deville, Pham Quang Dung, Hô Tuòng Vinh, 2010, SoICT '10.

An Implementation of Numerica

Pascal Van Hentenryck, Yves Deville, Laurent Michel, 1997 .

Approximate Constrained Subgraph Matching

Yves Deville, Pierre Dupont, Stéphane Zampelli, 2005, CP.

Constrained metabolic network analysis: discovering pathways using CP(Graph)

Yves Deville, Pierre Dupont, Y. Deville, 2005 .

Symmetry Breaking in Subgraph Pattern Matching

Yves Deville, Pierre Dupont, Stéphane Zampelli, 2006 .

CP(Graph+Map) for Approximate Graph Matching

Yves Deville, Pierre Dupont, Stéphane Zampelli, 2005 .

Hybridization of CP and VLNS for Eternity II

Yves Deville, Pierre Schaus, 2008 .