The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yves Deville" ( http://dblp.L3S.de/Authors/Yves_Deville )

  Author page on DBLP  Author page in RDF  Community of Yves Deville in ASPL-2

Publication years (Num. hits)
1989-1994 (17) 1995-2002 (17) 2003-2007 (18) 2008-2011 (18) 2012-2014 (18) 2015-2017 (18) 2018-2019 (4)
Publication types (Num. hits)
article(33) book(2) incollection(1) inproceedings(70) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 17 keywords

Results
Found 111 publication records. Showing 110 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Saint-Guillain, Christine Solnon, Yves Deville Progressive Focus Search for the Static and Stochastic VRPTW with both Random Customers and Reveal Times. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Quang Minh Ha, Yves Deville, Quang-Dung Pham, Minh Hoàng Hà A Hybrid Genetic Algorithm for the Traveling Salesman Problem with Drone. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville Soft-Regular with a Prefix-Size Violation Measure. Search on Bibsonomy CPAIOR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1François Aubry, Stefano Vissicchio, Olivier Bonaventure, Yves Deville Robustly disjoint paths with segment routing. Search on Bibsonomy CoNEXT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luc De Raedt, Marc Bui, Yves Deville, Dieu Linh Truong Editors' Introduction to the Special Issue on "Information and Communication Technology". Search on Bibsonomy Informatica (Slovenia) The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Saint-Guillain, Christine Solnon, Yves Deville The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael Saint-Guillain, Christine Solnon, Yves Deville The Static and Stochastic VRP with Time Windows and both Random Customers and Reveal Times. Search on Bibsonomy EvoApplications (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre Efficient Reification of Table Constraints. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus Extending Compact-Table to Basic Smart Tables. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Quoc Trung Bui, Yves Deville, Quang-Dung Pham Exact methods for solving the elementary shortest and longest path problems. Search on Bibsonomy Annals OR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luc De Raedt, Yves Deville, Marc Bui, Truong Thi Dieu Linh Introduction to Special issue on "The Sixth International Symposium on Information and Communication Technology -SoICT 2015. Search on Bibsonomy Informatica (Slovenia) The full citation details ... 2016 DBLP  BibTeX  RDF
1Francois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure SCMon: Leveraging segment routing to improve network monitoring. Search on Bibsonomy INFOCOM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Quang Minh Ha, Yves Deville, Quang-Dung Pham, Minh Hoàng Hà Heuristic methods for the Traveling Salesman Problem with Drone. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Saint-Guillain, Yves Deville, Christine Solnon A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW - Extended version. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Sébastien Mouthuy, Florence Massen, Yves Deville, Pascal Van Hentenryck A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows. Search on Bibsonomy Transportation Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre The Smart Table Constraint. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Saint-Guillain, Yves Deville, Christine Solnon A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cyrille Dejemeppe, Pierre Schaus, Yves Deville Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm. Search on Bibsonomy CPAIOR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Huynh Quyet Thang, Le Anh Phuong, Luc De Raedt, Yves Deville, Marc Bui, Truong Thi Dieu Linh, Nguyen Thi-Oanh, Dinh Viet Sang, Nguyen Ba Ngoc (eds.) Proceedings of the Sixth International Symposium on Information and Communication Technology, Hue City, Vietnam, December 3-4, 2015 Search on Bibsonomy SoICT The full citation details ... 2015 DBLP  BibTeX  RDF
1Francois Aubry, David Lebrun, Yves Deville, Olivier Bonaventure Traffic duplication through segmentable disjoint paths. Search on Bibsonomy Networking The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1François Durvaux, François-Xavier Standaert, Nicolas Veyrat-Charvillon, Jean-Baptiste Mairy, Yves Deville Efficient Selection of Time Samples for Higher-Order DPA with Projection Pursuits. Search on Bibsonomy COSADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Trong-Viet Ho, Yves Deville, Olivier Bonaventure Multi-objective traffic engineering for data center networks. Search on Bibsonomy Computer Networks The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Durvaux, François-Xavier Standaert, Nicolas Veyrat-Charvillon, Jean-Baptiste Mairy, Yves Deville Efficient Selection of Time Samples for Higher-Order DPA with Projection Pursuits. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2014 DBLP  BibTeX  RDF
1Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville Optimal and efficient filtering algorithms for table constraints. Search on Bibsonomy Constraints The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Quoc Trung Bui, Quang-Dung Pham, Yves Deville Solving the Quorumcast Routing Problem as a Mixed Integer Program. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cyrille Dejemeppe, Yves Deville Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nguyen Trong Giang, Huynh Quyet Thang, Ismal Khalil, Son Hong Ngo, Yves Deville, Marc Bui (eds.) Proceedings of the Fifth Symposium on Information and Communication Technology, SoICT '14, Hanoi, Vietnam, December 4-5, 2014 Search on Bibsonomy SoICT The full citation details ... 2014 DBLP  BibTeX  RDF
1Vinasétan Ratheil Houndji, Pierre Schaus, Laurence Wolsey, Yves Deville The StockingCost Constraint. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy Domain consistency with forbidden values. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Florence Massen, Manuel López-Ibáñez 0001, Thomas Stützle, Yves Deville Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace. Search on Bibsonomy Hybrid Metaheuristics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Quoc Trung Bui, Quang-Dung Pham, Yves Deville Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Quang-Dung Pham, Yves Deville Solving the quorumcast routing problem by constraint programming. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck LS(Graph): a constraint-based local search for constraint optimization on trees and paths. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville Constraint-based Very Large-Scale Neighborhood search. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Florence Massen, Yves Deville, Pascal Van Hentenryck Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. Search on Bibsonomy CPAIOR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Quang-Dung Pham, Yves Deville Solving the Longest Simple Path Problem with Constraint-Based Techniques. Search on Bibsonomy CPAIOR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon, Pierre-Antoine Champin Castor: A Constraint-Based SPARQL Engine with Active Filter Processing. Search on Bibsonomy ESWC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville An Optimal Filtering Algorithm for Table Constraints. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pierre 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. Search on Bibsonomy Constraints The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ho Trong Viet, Yves Deville, Olivier Bonaventure, Pierre François Traffic engineering for multiple spanning tree protocol in large data centers. Search on Bibsonomy International Teletraffic Congress The full citation details ... 2011 DBLP  BibTeX  RDF
1Quoc Trung Bui, Quang-Dung Pham, Yves Deville Constraint-based local search for fields partitioning problem. Search on Bibsonomy SoICT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon An Efficient Light Solver for Querying the Semantic Web. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stéphane Zampelli, Yves Deville, Christine Solnon Solving subgraph isomorphism problems with constraint programming. Search on Bibsonomy Constraints The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pham Quang Dung, Yves Deville, Pascal Van Hentenryck Constraint-Based Local Search for Constrained Optimum Paths Problems. Search on Bibsonomy CPAIOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Julien Dupuis, Pierre Schaus, Yves Deville Consistency Check for the Bin Packing Constraint Revisited. Search on Bibsonomy CPAIOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ho Trong Viet, Olivier Bonaventure, Yves Deville, Pham Quang Dung, Pierre François Using local search for traffic engineering in switched Ethernet networks. Search on Bibsonomy International Teletraffic Congress The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pham 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. Search on Bibsonomy SoICT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yves Deville, Pascal Van Hentenryck Domain Consistency with Forbidden Values. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yves Deville, Christine Solnon (eds.) Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009. Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pham Quang Dung, Yves Deville, Pascal Van Hentenryck A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pham Quang Dung, Yves Deville, Pascal Van Hentenryck LS(graph & tree): a local search framework for constraint optimization on graphs and trees. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF KCT, constrained tree problems, graph theory, local search, constraint optimization
1Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon Constraint-Based Graph Matching. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck Just-In-Time Scheduling with Constraint Programming. Search on Bibsonomy ICAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Sylvain 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. Search on Bibsonomy Nucleic Acids Research The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen Decomposition Techniques for Subgraph Matching Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Pierre Schaus, Yves Deville A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Jean-Noël Monette, Yves Deville, Pierre Dupont A Position-Based Propagator for the Open-Shop Problem. Search on Bibsonomy CPAIOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin The Deviation Constraint. Search on Bibsonomy CPAIOR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont Filtering for Subgraph Isomorphism. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pierre Schaus, Yves Deville, Pierre Dupont Bound-Consistent Deviation Constraint. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yves Deville, Grégoire Dooms, Stéphane Zampelli Combining Two Structured Domains for Modeling Various Graph Matching Problems. Search on Bibsonomy CSCLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luis Quesada 0001, Peter Van Roy, Yves Deville, Raphaël Collet Using Dominators for Solving Constrained Path Problems. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yves Deville Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luis Quesada 0001, Peter Van Roy, Yves Deville Speeding Up Constrained Path Solvers with a Reachability Propagator. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Grégoire Dooms, Yves Deville, Pierre Dupont CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Stéphane Zampelli, Yves Deville, Pierre Dupont Approximate Constrained Subgraph Matching. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian 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. Search on Bibsonomy Nucleic Acids Research The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Grégoire Dooms, Yves Deville, Pierre Dupont Recherche de chemins contraints dans les réseaux biochimiques. Search on Bibsonomy JFPLC The full citation details ... 2004 DBLP  BibTeX  RDF
1David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson Synthesis of Programs in Computational Logic. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Grégoire Dooms, Yves Deville, Pierre Dupont A Mozart Implementation of CP(BioNet). Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mozart, Graph Domain Variables, Constrained Path Finding, Path Constraint, Constraint Programming, Oz
1Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak An overview of data models for the analysis of biochemical pathways. Search on Bibsonomy Briefings in Bioinformatics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nguyen Tran Sy, Yves Deville Consistency techniques for interprocedural test data generation. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software testing, consistency, constraint satisfaction, arrays, test data generation, procedures
1Aik Choon Tan, David R. Gilbert, Yves Deville Integrative machine learning approach for multi-class SCOP protein fold classification. Search on Bibsonomy German Conference on Bioinformatics The full citation details ... 2003 DBLP  BibTeX  RDF
1Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak An Overview of Data Models for the Analysis of Biochemical Pathways. Search on Bibsonomy CMSB The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Micha Janssen, Pascal Van Hentenryck, Yves Deville A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. Search on Bibsonomy SIAM J. Numerical Analysis The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yves Deville, Micha Janssen, Pascal Van Hentenryck Consistency Techniques in Ordinary Differential Equations. Search on Bibsonomy Constraints The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Philippe Massonet, Yves Deville, Cédric Nève From AOSE methodology to agent implementation. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML, methodology, experimentation, JADE, agent-based software engineering, FIPA
1Micha Janssen, Pascal Van Hentenryck, Yves Deville Optimal Pruning in Parametric Differential Equations. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nguyen Tran Sy, Yves Deville Automatic Test Data Generation for Programs with Integer and Float Variables. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF software testing, consistency, constraint satisfaction, test data generation
1Micha Janssen, Pascal Van Hentenryck, Yves Deville A Constraint Satisfaction Approach to Parametric Differential Equations. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1E. Poupaert, Yves Deville Simulated Annealing with Estimated Temperature. Search on Bibsonomy AI Commun. The full citation details ... 2000 DBLP  BibTeX  RDF
1Annalisa Bossi, Yves Deville Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Yves Deville, Olivier Barette, Pascal Van Hentenryck Constraint Satisfaction over Connected Row Convex Constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Micha Janssen, Yves Deville, Pascal Van Hentenryck Multistep Filtering Operators for Ordinary Differential Equations. Search on Bibsonomy CP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville Design, Implementation, and Evaluation of the Constraint Language cc(FD). Search on Bibsonomy J. Log. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1T. Nguyen, Yves Deville A Distributed Arc-Consistency Algorithm. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Yves Deville, Micha Janssen, Pascal Van Hentenryck Consistency Techniques in Ordinary Differential Equations. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Laurent Michel, Yves Deville Numerica - A Modeling Language for Global Optimization. Search on Bibsonomy 1997   RDF
1Eric Chasseur, Yves Deville Logic Program Schemas, Constraints, and Semi-unification. Search on Bibsonomy LOPSTR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Yves Deville, Olivier Barette, Pascal Van Hentenryck Constraint Satisfaction over Connected Row Convex Constraints. Search on Bibsonomy IJCAI (1) The full citation details ... 1997 DBLP  BibTeX  RDF
1Pierre Flener, Yves Deville Logic Program Transformation through Generalization Schemata. Search on Bibsonomy LOPSTR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville Design, Implementation, and Evaluation of the Constraint Language cc(FD) Search on Bibsonomy Constraint Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yves Deville, Kung-Kiu Lau Logic Program Synthesis. Search on Bibsonomy J. Log. Program. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Yves Deville (eds.) 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 Search on Bibsonomy LOPSTR The full citation details ... 1994 DBLP  BibTeX  RDF
1Pierre Flener, Yves Deville Logic Program Synthesis from Incomplete Specifications. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Vincent Lombart, Geraint A. Wiggins, Yves Deville Guiding Synthesis Proofs. Search on Bibsonomy LOPSTR The full citation details ... 1993 DBLP  BibTeX  RDF
1Pascal Van Hentenryck, Yves Deville, Choh-Man Teng A Generic Arc-Consistency Algorithm and its Specializations. Search on Bibsonomy Artif. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Pierre Flener, Yves Deville SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. Search on Bibsonomy LPE The full citation details ... 1992 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 110 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license