A generic arc-consistency algorithm and its specializations P Van Hentenryck, Y Deville, CM Teng Artificial intelligence 57 (2-3), 291-321, 1992 | 618 | 1992 |

Numerica: a modeling language for global optimization P Van Hentenryck, L Michel, Y Deville MIT press, 1997 | 428 | 1997 |

Design, implementation, and evaluation of the constraint language cc (FD) P Van Hentenryck, V Saraswat, Y Deville The Journal of Logic Programming 37 (1-3), 139-164, 1998 | 264 | 1998 |

Logic programming: systematic program development Y Deville Addison-Wesley Longman Publishing Co., Inc., 1990 | 257 | 1990 |

The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. P Van Hentenryck, Y Deville Brown University, Department of Computer Science, 1990 | 199 | 1990 |

Constraint processing in cc (FD) P Van Hentenryck, V Saraswat, Y Deville Draft, 1991 | 180 | 1991 |

An overview of data models for the analysis of biochemical pathways Y Deville, D Gilbert, J Van Helden, SJ Wodak Briefings in Bioinformatics 4 (3), 246-259, 2003 | 138 | 2003 |

Design, implementation, and evaluation of the constraint language cc (FD) P Van Hentenryck, V Saraswat, Y Deville French School on Theoretical Computer Science, 293-316, 1994 | 137 | 1994 |

Multi-class protein fold classification using a new ensemble machine learning approach AC Tan, D Gilbert, Y Deville Genome Informatics 14, 206-217, 2003 | 130 | 2003 |

Cp (graph): Introducing a graph computation domain in constraint programming G Dooms, Y Deville, P Dupont International Conference on Principles and Practice of Constraint …, 2005 | 122 | 2005 |

Efficient arc consistency algorithm for a class of CSP problems Y Deville, P Van Hentenryck Brown University, Department of Computer Science, 1990 | 122 | 1990 |

On the min-cost traveling salesman problem with drone QM Ha, Y Deville, QD Pham, MH Ha Transportation Research Part C: Emerging Technologies 86, 597-621, 2018 | 113* | 2018 |

NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways S Brohée, K Faust, G Lima-Mendez, O Sand, R Janky, G Vanderstocken, ... Nucleic acids research 36 (suppl_2), W444-W451, 2008 | 102 | 2008 |

A distributed arc-consistency algorithm T Nguyen, Y Deville Science of Computer Programming 30 (1-2), 227-250, 1998 | 100 | 1998 |

The aMAZE LightBench: a web interface to a relational database of cellular processes C Lemer, E Antezana, F Couche, F Fays, X Santolaria, R Janky, Y Deville, ... Nucleic Acids Research 32 (suppl_1), D443-D448, 2004 | 86 | 2004 |

Logic program synthesis Y Deville, KK Lau The Journal of Logic Programming 19, 321-350, 1994 | 81 | 1994 |

Solving subgraph isomorphism problems with constraint programming S Zampelli, Y Deville, C Solnon Constraints 15 (3), 327-353, 2010 | 79 | 2010 |

The deviation constraint P Schaus, Y Deville, P Dupont, JC Régin International Conference on Integration of Artificial Intelligence (AI) and …, 2007 | 57 | 2007 |

Synthesis of programs in computational logic D Basin, Y Deville, P Flener, A Hamfelt, JF Nilsson Program Development in Computational Logic, 30-65, 2004 | 56 | 2004 |

Consistency techniques in ordinary differential equations Y Deville, M Janssen, P Van Hentenryck International Conference on Principles and Practice of Constraint …, 1998 | 55 | 1998 |