×

zbMATH — the first resource for mathematics

Deville, Yves

Compute Distance To:
Author ID: deville.yves Recent zbMATH articles by "Deville, Yves"
Published as: Deville, Y.; Deville, Yves
Documents Indexed: 39 Publications since 1991, including 1 Book

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 176 times in 155 Documents Cited by Year
A generic arc-consistency algorithm and its specializations. Zbl 0763.68059
van Hentenryck, Pascal; Deville, Yves; Teng, Choh-Man
45
1992
Design, implementation, and evaluation of the constraint language \(cc(FD)\). Zbl 0920.68026
Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
28
1998
CP(Graph): Introducing a graph computation domain in constraint programming. Zbl 1153.68457
Dooms, Gregoire; Deville, Yves; Dupont, Pierre
14
2005
Constraint satisfaction over connected row-convex constraints. Zbl 0916.68061
Deville, Yves; Barette, Olivier; Van Hentenryck, Pascal
11
1999
The deviation constraint. Zbl 1214.90104
Schaus, Pierre; Deville, Yves; Dupont, Pierre; Régin, Jean-Charles
7
2007
Consistency techniques in ordinary differential equations. Zbl 1020.65035
Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal
7
2002
An efficiency arc consistecy algorithm for a class of CSP problems. Zbl 0747.68066
Deville, Yves; van Hentenryck, Pascal
7
1991
Synthesis of programs in computational logic. Zbl 1080.68562
Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen
6
2004
Solving subgraph isomorphism problems with constraint programming. Zbl 1213.68473
Zampelli, Stéphane; Deville, Yves; Solnon, Christine
5
2010
Filtering for subgraph isomorphism. Zbl 1145.68535
Zampelli, Stéphane; Deville, Yves; Solnon, Christine; Sorlin, Sébastien; Dupont, Pierre
5
2007
Logic program synthesis. Zbl 0942.68525
Deville, Yves; Lau, Kung-Kiu
5
1994
Logic program synthesis from incomplete specifications. Zbl 0804.68090
Flener, Pierre; Deville, Yves
5
1993
Operational semantics of constraint logic programming over finite domains. Zbl 0789.68021
Van Hentenryck, Pascal; Deville, Yves
5
1991
A distributed arc-consistency algorithm. Zbl 0895.68120
Nguyen, T.; Deville, Y.
4
1998
Consistency check for the bin packing constraint revisited. Zbl 1285.68156
Dupuis, Julien; Schaus, Pierre; Deville, Yves
3
2010
An overview of data models for the analysis of biochemical pathways. Zbl 1112.92318
Deville, Yves; Gilbert, David; van Helden, Jacques; Wodak, Shoshana
3
2003
A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. Zbl 1032.65069
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
3
2002
Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201
Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves
2
2014
Constraint-based very large-scale neighborhood search. Zbl 1242.90104
Mouthuy, Sébastien; Van Hentenryck, Pascal; Deville, Yves
2
2012
Constraint-based local search for constrained optimum paths problems. Zbl 1285.68160
Pham, Quang Dung; Deville, Yves; Van Hentenryck, Pascal
2
2010
Group kernels for Gaussian process metamodels with categorical inputs. Zbl 1443.60040
Roustant, Olivier; Padonou, Espéran; Deville, Yves; Clément, Aloïs; Perrin, Guillaume; Giorla, Jean; Wynn, Henry
1
2020
Exact methods for solving the elementary shortest and longest path problems. Zbl 1357.90164
Bui, Quoc Trung; Deville, Yves; Pham, Quang Dung
1
2016
A multistage stochastic programming approach to the dynamic and stochastic VRPTW. Zbl 1459.90031
Saint-Guillain, Michael; Deville, Yves; Solnon, Christine
1
2015
The smart table constraint. Zbl 06605762
Mairy, Jean-Baptiste; Deville, Yves; Lecoutre, Christophe
1
2015
LS(graph): a constraint-based local search for constraint optimization on trees and paths. Zbl 1309.90089
Pham, Quang Dung; Deville, Yves; van Hentenryck, Pascal
1
2012
A position-based propagator for the open-shop problem. Zbl 1214.90057
Monette, Jean-Noël; Deville, Yves; Dupont, Pierre
1
2007
Optimal pruning in parametric differential equations. Zbl 1067.65509
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
1
2001
Group kernels for Gaussian process metamodels with categorical inputs. Zbl 1443.60040
Roustant, Olivier; Padonou, Espéran; Deville, Yves; Clément, Aloïs; Perrin, Guillaume; Giorla, Jean; Wynn, Henry
1
2020
Exact methods for solving the elementary shortest and longest path problems. Zbl 1357.90164
Bui, Quoc Trung; Deville, Yves; Pham, Quang Dung
1
2016
A multistage stochastic programming approach to the dynamic and stochastic VRPTW. Zbl 1459.90031
Saint-Guillain, Michael; Deville, Yves; Solnon, Christine
1
2015
The smart table constraint. Zbl 06605762
Mairy, Jean-Baptiste; Deville, Yves; Lecoutre, Christophe
1
2015
Optimal and efficient filtering algorithms for table constraints. Zbl 1328.68201
Mairy, Jean-Baptiste; van Hentenryck, Pascal; Deville, Yves
2
2014
Constraint-based very large-scale neighborhood search. Zbl 1242.90104
Mouthuy, Sébastien; Van Hentenryck, Pascal; Deville, Yves
2
2012
LS(graph): a constraint-based local search for constraint optimization on trees and paths. Zbl 1309.90089
Pham, Quang Dung; Deville, Yves; van Hentenryck, Pascal
1
2012
Solving subgraph isomorphism problems with constraint programming. Zbl 1213.68473
Zampelli, Stéphane; Deville, Yves; Solnon, Christine
5
2010
Consistency check for the bin packing constraint revisited. Zbl 1285.68156
Dupuis, Julien; Schaus, Pierre; Deville, Yves
3
2010
Constraint-based local search for constrained optimum paths problems. Zbl 1285.68160
Pham, Quang Dung; Deville, Yves; Van Hentenryck, Pascal
2
2010
The deviation constraint. Zbl 1214.90104
Schaus, Pierre; Deville, Yves; Dupont, Pierre; Régin, Jean-Charles
7
2007
Filtering for subgraph isomorphism. Zbl 1145.68535
Zampelli, Stéphane; Deville, Yves; Solnon, Christine; Sorlin, Sébastien; Dupont, Pierre
5
2007
A position-based propagator for the open-shop problem. Zbl 1214.90057
Monette, Jean-Noël; Deville, Yves; Dupont, Pierre
1
2007
CP(Graph): Introducing a graph computation domain in constraint programming. Zbl 1153.68457
Dooms, Gregoire; Deville, Yves; Dupont, Pierre
14
2005
Synthesis of programs in computational logic. Zbl 1080.68562
Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen
6
2004
An overview of data models for the analysis of biochemical pathways. Zbl 1112.92318
Deville, Yves; Gilbert, David; van Helden, Jacques; Wodak, Shoshana
3
2003
Consistency techniques in ordinary differential equations. Zbl 1020.65035
Deville, Yves; Janssen, Micha; Van Hentenryck, Pascal
7
2002
A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. Zbl 1032.65069
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
3
2002
Optimal pruning in parametric differential equations. Zbl 1067.65509
Janssen, Micha; Van Hentenryck, Pascal; Deville, Yves
1
2001
Constraint satisfaction over connected row-convex constraints. Zbl 0916.68061
Deville, Yves; Barette, Olivier; Van Hentenryck, Pascal
11
1999
Design, implementation, and evaluation of the constraint language \(cc(FD)\). Zbl 0920.68026
Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves
28
1998
A distributed arc-consistency algorithm. Zbl 0895.68120
Nguyen, T.; Deville, Y.
4
1998
Logic program synthesis. Zbl 0942.68525
Deville, Yves; Lau, Kung-Kiu
5
1994
Logic program synthesis from incomplete specifications. Zbl 0804.68090
Flener, Pierre; Deville, Yves
5
1993
A generic arc-consistency algorithm and its specializations. Zbl 0763.68059
van Hentenryck, Pascal; Deville, Yves; Teng, Choh-Man
45
1992
An efficiency arc consistecy algorithm for a class of CSP problems. Zbl 0747.68066
Deville, Yves; van Hentenryck, Pascal
7
1991
Operational semantics of constraint logic programming over finite domains. Zbl 0789.68021
Van Hentenryck, Pascal; Deville, Yves
5
1991
all top 5

Cited by 336 Authors

7 Deville, Yves
6 Cooper, Martin C.
6 Flener, Pierre
6 Régin, Jean-Charles
6 Solnon, Christine
6 Van Hentenryck, Pascal
5 Beldiceanu, Nicolas
5 Bessiere, Christian
5 Petit, Thierry
5 Walsh, Toby
4 Cohen, David A.
4 Jeavons, Peter G.
4 Olarte, Carlos
4 Zhang, Yuanlin
3 Basin, David A.
3 Deruyver, Aline
3 Falaschi, Moreno
3 Hnich, Brahim
3 Hodé, Yann
3 Hofer, Eberhard P.
3 Jebelean, Tudor
3 Kletting, Marco
3 Lorca, Xavier
3 Pesch, Erwin
3 Rauh, Andreas
3 Yap, Roland H. C.
2 Apt, Krzysztof Rafal
2 Aschemann, Harald
2 Carlsson, Mats
2 Czarnecki, Krzysztof
2 Damiand, Guillaume
2 de la Higuera, Colin
2 Dechter, Rina
2 del Vado Vírseda, Rafael
2 Drămnesc, Isabela
2 Fages, François
2 Freuder, Eugene C.
2 Ganesh, Vijay
2 Gent, Ian Philip
2 Gomes, Carla P.
2 Hebrard, Emmanuel
2 Janodet, Jean-Christophe
2 Jaulin, Luc
2 Kirousis, Lefteris Miltiades
2 Kiziltan, Zeynep
2 Lecoutre, Christophe
2 Mairy, Jean-Baptiste
2 Marisetti, Satyanarayana
2 Miguel, Ian
2 Monette, Jean-Noël
2 Moore, Neil C. A.
2 Naanaa, Wady
2 Nightingale, Peter W.
2 Palamidessi, Catuscia
2 Pearson, Justin
2 Rodríguez-Artalejo, Mario
2 Rueda, Camilo
2 Samuel, Émilie
2 Schaus, Pierre
2 Soliman, Sylvain
2 Valencia, Frank D.
2 Zampelli, Stéphane
2 Zulkoski, Edward
1 Abdallah, Areski Nait
1 Adamo, Tommaso
1 Alpuente, María
1 Anderson, Penny
1 Andonov, Rumen A.
1 Antritter, Felix
1 Arangu, Marlene
1 Audemard, Gilles
1 Ayari, Abdelwaheb
1 Azevedo, Francisco
1 Baldacci, Roberto
1 Baldan, Paolo
1 Barahona, Pedro
1 Beasley, John E.
1 Béjar, Ramón
1 Berkholz, Christoph
1 Bertels, Stefan
1 Beulens, Adrie J. M.
1 Binois, Mickaël
1 Błażewicz, Jacek
1 Bourreau, Eric
1 Boussemart, Frédéric
1 Brailsford, Sally C.
1 Bright, Curtis
1 Brill, Michael H.
1 Brown, Kenneth N.
1 Broxvall, Mathias
1 Brun, Luc
1 Buchberger, Bruno
1 Bundy, Alan
1 Bunke, Horst
1 Caccamo, Marco
1 Caelli, Terry M.
1 Candau, Yves
1 Cañete-Valdeón, José M.
1 Carbonnel, Clément
1 Castaño, Fabian
...and 236 more Authors
all top 5

Cited in 49 Serials

30 Artificial Intelligence
25 Constraints
8 Theoretical Computer Science
7 European Journal of Operational Research
6 Journal of Symbolic Computation
5 Computers & Operations Research
4 Annals of Mathematics and Artificial Intelligence
3 INFORMS Journal on Computing
3 Theory and Practice of Logic Programming
2 Discrete Applied Mathematics
2 Automatica
2 Journal of Computer and System Sciences
2 Information and Computation
2 Journal of Automated Reasoning
2 Annals of Operations Research
2 Pattern Recognition
2 International Journal of Applied Mathematics and Computer Science
2 RAIRO. Operations Research
1 International Journal of Control
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Bulletin of Mathematical Biology
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 OR Spektrum
1 Science of Computer Programming
1 Operations Research Letters
1 Applied Numerical Mathematics
1 Journal of Computer Science and Technology
1 New Generation Computing
1 International Journal of Intelligent Systems
1 Real-Time Systems
1 Applied Mathematical Modelling
1 Reliable Computing
1 International Transactions in Operational Research
1 Journal of Heuristics
1 Soft Computing
1 Discrete Dynamics in Nature and Society
1 Higher-Order and Symbolic Computation
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 Journal of Machine Learning Research (JMLR)
1 Natural Computing
1 ACM Transactions on Computational Logic
1 4OR
1 Journal of Applied Logic
1 Mathematics in Computer Science
1 Nonlinear Analysis. Hybrid Systems
1 EURO Journal on Computational Optimization

Citations by Year