Yves Deville

According to our database, Yves Deville authored at least 104 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Group Kernels for Gaussian Process Metamodels with Categorical Inputs.

Olivier Roustant, Esperan Padonou, Yves Deville, Aloïs Clément, Guillaume Perrin, Jean Giorla, Henry P. Wynn

SIAM/ASA J. Uncertain. Quantification, 2020

A hybrid genetic algorithm for the traveling salesman problem with drone.

Quang Minh Ha, Yves Deville, Pham Quang Dung, Minh Hoàng Hà

J. Heuristics, 2020

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

Christine Jacqmot, Françoise Docq, Yves Deville

Proceedings of the 12th International Conference on Computer Supported Education, 2020

2019

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

Michael Saint-Guillain, Christine Solnon, Yves Deville

CoRR, 2019

SolverCheck: Declarative Testing of Constraints.

Xavier Gillard, Pierre Schaus, Yves Deville

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Soft-Regular with a Prefix-Size Violation Measure.

Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Robustly disjoint paths with segment routing.

François Aubry, Stefano Vissicchio, Olivier Bonaventure, Yves Deville

Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, 2018

2017

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

Luc De Raedt, Marc Bui, Yves Deville, T. Dieu Linh Truong

Informatica (Slovenia), 2017

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

Michael Saint-Guillain, Christine Solnon, Yves Deville

CoRR, 2017

Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.

Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Efficient Reification of Table Constraints.

Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

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

Michael Saint-Guillain, Christine Solnon, Yves Deville

Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

Extending Compact-Table to Basic Smart Tables.

Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

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

Luc De Raedt, Yves Deville, Marc Bui, Truong Thi Dieu Linh

Informatica (Slovenia), 2016

Exact methods for solving the elementary shortest and longest path problems.

Quoc Trung Bui, Yves Deville, Quang-Dung Pham

Ann. Oper. Res., 2016

SCMon: Leveraging segment routing to improve network monitoring.

Francois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure

Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016

2015

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

Sébastien Mouthuy, Florence Massen, Yves Deville, Pascal Van Hentenryck

Transp. Sci., 2015

A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW - Extended version.

Michael Saint-Guillain, Yves Deville, Christine Solnon

CoRR, 2015

Heuristic methods for the Traveling Salesman Problem with Drone.

Quang Minh Ha, Yves Deville, Quang-Dung Pham, Minh Hoàng Hà

CoRR, 2015

Traffic duplication through segmentable disjoint paths.

Francois Aubry, David Lebrun, Yves Deville, Olivier Bonaventure

Proceedings of the 14th IFIP Networking Conference, 2015

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

Michael Saint-Guillain, Yves Deville, Christine Solnon

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

The Smart Table Constraint.

Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

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

Cyrille Dejemeppe, Pierre Schaus, Yves Deville

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2014

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

François Durvaux, François-Xavier Standaert, Nicolas Veyrat-Charvillon, Jean-Baptiste Mairy, Yves Deville

IACR Cryptol. ePrint Arch., 2014

Optimal and efficient filtering algorithms for table constraints.

Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville

Constraints An Int. J., 2014

Multi-objective traffic engineering for data center networks.

Trong-Viet Ho, Yves Deville, Olivier Bonaventure

Comput. Networks, 2014

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

Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

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

Cyrille Dejemeppe, Yves Deville

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Solving the Quorumcast Routing Problem as a Mixed Integer Program.

Quoc Trung Bui, Quang-Dung Pham, Yves Deville

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

The StockingCost Constraint.

Vinasétan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey, Yves Deville

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Domain consistency with forbidden values.

Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy

Constraints An Int. J., 2013

Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace.

Florence Massen, Manuel López-Ibáñez, Thomas Stützle, Yves Deville

Proceedings of the Hybrid Metaheuristics - 8th International Workshop, 2013

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

Quoc Trung Bui, Quang-Dung Pham, Yves Deville

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

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

Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck

Constraints An Int. J., 2012

Solving the quorumcast routing problem by constraint programming.

Quang-Dung Pham, Yves Deville

Constraints An Int. J., 2012

Constraint-based Very Large-Scale Neighborhood search.

Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville

Constraints An Int. J., 2012

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

Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon, Pierre-Antoine Champin

Proceedings of the Semantic Web: Research and Applications, 2012

Solving the Longest Simple Path Problem with Constraint-Based Techniques.

Quang-Dung Pham, Yves Deville

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

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

Florence Massen, Yves Deville, Pascal Van Hentenryck

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

An Optimal Filtering Algorithm for Table Constraints.

Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

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

Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville

Constraints An Int. J., 2011

Traffic engineering for multiple spanning tree protocol in large data centers.

Ho Trong Viet, Yves Deville, Olivier Bonaventure, Pierre François

Proceedings of the 23rd International Teletraffic Congress, 2011

Constraint-based local search for fields partitioning problem.

Quoc Trung Bui, Quang-Dung Pham, Yves Deville

Proceedings of the 2011 Symposium on Information and Communication Technology, 2011

An Efficient Light Solver for Querying the Semantic Web.

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

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Solving subgraph isomorphism problems with constraint programming.

Stéphane Zampelli, Yves Deville, Christine Solnon

Constraints An Int. J., 2010

Using local search for traffic engineering in switched Ethernet networks.

Ho Trong Viet, Olivier Bonaventure, Yves Deville, Pham Quang Dung, Pierre François

Proceedings of the 22nd International Teletraffic Congress, 2010

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

Pham Quang Dung, Phan-Thuan Do, Yves Deville, Tuong-Vinh Ho

Proceedings of the 2010 Symposium on Information and Communication Technology, 2010

Consistency Check for the Bin Packing Constraint Revisited.

Julien Dupuis, Pierre Schaus, Yves Deville

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Constraint-Based Local Search for Constrained Optimum Paths Problems.

Pham Quang Dung, Yves Deville, Pascal Van Hentenryck

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Domain Consistency with Forbidden Values.

Yves Deville, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

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

Pham Quang Dung, Yves Deville, Pascal Van Hentenryck

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

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

Pham Quang Dung, Yves Deville, Pascal Van Hentenryck

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Constraint-Based Graph Matching.

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

Proceedings of the Principles and Practice of Constraint Programming, 2009

Just-In-Time Scheduling with Constraint Programming.

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

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

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

Sylvain Brohée, Karoline Faust, Gipsi Lima-Mendez, Olivier Sand, Rekin's Janky, Gilles Vanderstocken, Yves Deville, Jacques van Helden

Nucleic Acids Res., 2008

Decomposition Techniques for Subgraph Matching

Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen

CoRR, 2008

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

Pierre Schaus, Yves Deville

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Combining Two Structured Domains for Modeling Various Graph Matching Problems.

Yves Deville, Grégoire Dooms, Stéphane Zampelli

Proceedings of the Recent Advances in Constraints, 2007

The Deviation Constraint.

Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

A Position-Based Propagator for the Open-Shop Problem.

Jean-Noël Monette, Yves Deville, Pierre Dupont

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Filtering for Subgraph Isomorphism.

Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont

Proceedings of the Principles and Practice of Constraint Programming, 2007

Bound-Consistent Deviation Constraint.

Pierre Schaus, Yves Deville, Pierre Dupont

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Using Dominators for Solving Constrained Path Problems.

Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

2005

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

Theory Pract. Log. Program., 2005

Approximate Constrained Subgraph Matching.

Stéphane Zampelli, Yves Deville, Pierre Dupont

Proceedings of the Principles and Practice of Constraint Programming, 2005

Speeding Up Constrained Path Solvers with a Reachability Propagator.

Luis Quesada, Peter Van Roy, Yves Deville

Proceedings of the Principles and Practice of Constraint Programming, 2005

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

Grégoire Dooms, Yves Deville, Pierre Dupont

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

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

Christian Lemer, Erick Antezana, Fabian Couche, Frédéric Fays, Xavier Santolaria, Rekin's Janky, Yves Deville, Jean Richelle, Shoshana J. Wodak

Nucleic Acids Res., 2004

A Mozart Implementation of CP(BioNet).

Grégoire Dooms, Yves Deville, Pierre Dupont

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Synthesis of Programs in Computational Logic.

David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Recherche de chemins contraints dans les réseaux biochimiques.

Grégoire Dooms, Yves Deville, Pierre Dupont

Proceedings of the Programmation en logique avec contraintes, 2004

2003

An overview of data models for the analysis of biochemical pathways.

Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak

Briefings Bioinform., 2003

Consistency techniques for interprocedural test data generation.

Nguyen Tran Sy, Yves Deville

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

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

Aik Choon Tan, David R. Gilbert, Yves Deville

Proceedings of the German Conference on Bioinformatics, 2003

2002

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

Micha Janssen, Pascal Van Hentenryck, Yves Deville

SIAM J. Numer. Anal., 2002

Consistency Techniques in Ordinary Differential Equations.

Yves Deville, Micha Janssen, Pascal Van Hentenryck

Constraints An Int. J., 2002

From AOSE methodology to agent implementation.

Philippe Massonet, Yves Deville, Cédric Nève

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Automatic Test Data Generation for Programs with Integer and Float Variables.

Nguyen Tran Sy, Yves Deville

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Constraint Satisfaction Approach to Parametric Differential Equations.

Micha Janssen, Pascal Van Hentenryck, Yves Deville

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Optimal Pruning in Parametric Differential Equations.

Micha Janssen, Pascal Van Hentenryck, Yves Deville

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

Simulated Annealing with Estimated Temperature.

E. Poupaert, Yves Deville

AI Commun., 2000

1999

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

Annalisa Bossi, Yves Deville

J. Log. Program., 1999

Constraint Satisfaction over Connected Row Convex Constraints.

Yves Deville, Olivier Barette, Pascal Van Hentenryck

Artif. Intell., 1999

Multistep Filtering Operators for Ordinary Differential Equations.

Micha Janssen, Yves Deville, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 1999

1998

A Distributed Arc-Consistency Algorithm.

Thang Nguyen, Yves Deville

Sci. Comput. Program., 1998

1997

Logic Program Schemas, Constraints, and Semi-unification.

Eric Chasseur, Yves Deville

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Numerica - A Modeling Language for Global Optimization.

Pascal Van Hentenryck, Laurent Michel, Yves Deville

MIT Press, ISBN: 978-0-262-72027-4, 1997

1995

Logic Program Transformation through Generalization Schemata.

Pierre Flener, Yves Deville

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994

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

Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Logic Program Synthesis.

Yves Deville, Kung-Kiu Lau

J. Log. Program., 1994

1993

Logic Program Synthesis from Incomplete Specifications.

Pierre Flener, Yves Deville

J. Symb. Comput., 1993

Guiding Synthesis Proofs.

Vincent Lombart, Geraint A. Wiggins, Yves Deville

Proceedings of the Logic Program Synthesis and Transformation, 1993

1992

A Generic Arc-Consistency Algorithm and its Specializations.

Pascal Van Hentenryck, Yves Deville, Choh Man Teng

Artif. Intell., 1992

SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications.

Pierre Flener, Yves Deville

Proceedings of the 4th Workshop on Logic Programming Environments (LPE 1992), 1992

1991

Operational Semantics of Constraint Logic Programming over Finite Domains.

Pascal Van Hentenryck, Yves Deville

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Towards Stepwise, Schema-guided Synthesis of Logic Programms.

Pierre Flener, Yves Deville

Proceedings of the Logic Program Synthesis and Transformation, 1991

An Efficient Arc Consistency Algorithm for a Class of CSP Problems.

Yves Deville, Pascal Van Hentenryck

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

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

Pascal Van Hentenryck, Yves Deville

Proceedings of the Logic Programming, 1991

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

Pierre Flener, Yves Deville

Proceedings of the Constructing Logic Programs, 1991

Software Development and Logic Programming.

Yves Deville, Leon Sterling, Pierre Deransart

Proceedings of the Logic Programming, 1991

1990

Construction of CLP Programs.

Yves Deville, Pascal Van Hentenryck

Proceedings of the Logic Programming, 1990

Logic programming - systematic program development.

Yves Deville

International series in logic programming, Addison-Wesley, ISBN: 978-0-201-17576-9, 1990

1989

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

Yves Deville, Jean Burnay

Proceedings of the Logic Programming, 1989

1987

A methodology for logic program construction

Yves Deville

PhD thesis, 1987