Searching for authors named "Yves Deville" – sorted by Relevance.
-
An efficient arc consistency algorithm for a class of csp problems
- An Efficient Arc Consistency Algorithm for a Class of CSP Problems Yves Deville* University
- Cited by 35 (1 self) – Add To MetaCart
-
Simulated Annealing with Estimated Temperature
- Simulated Annealing with estimated temperature Eric Poupaert and Yves Deville Department
- Cited by 2 (0 self) – Add To MetaCart
-
Logic Program Synthesis
- J. LOGIC PROGRAMMING 1993:12:1--199 1 LOGIC PROGRAM SYNTHESIS YVES DEVILLE AND KUNG-KIU LAU
- Cited by 36 (11 self) – Add To MetaCart
-
Logic Program Synthesis from Incomplete Specifications
- Press Limited Logic Program Synthesis from Incomplete Specifications PIERRE FLENER AND YVES DEVILLE
- Cited by 51 (19 self) – Add To MetaCart
-
Towards Stepwise, Schema-Guided Synthesis of Logic Programs
- 'Informatique, Universit de Namur Rue Grandgagnage 21, 5000 Namur, Belgium Yves Deville Unit d'Informatique, Universit
- Cited by 14 (4 self) – Add To MetaCart
-
Logic Program Schemas, Constraints and Semi-Unification
- Logic Program Schemas, Constraints and Semi-Unification Eric Chasseur and Yves Deville Universit
- Cited by 8 (1 self) – Add To MetaCart
-
Logic Program Transformation through Generalization Schemata
- Email: pf@(email omitted); Voice: +90/312/266-4000 ext.1450 Yves Deville Department of Computing
- Cited by 12 (6 self) – Add To MetaCart
-
Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs
- PIERRE FLENER, YVES DEVILLE This chapter gives a brief overview of our framework for stepwise synthesis
- Cited by 5 (3 self) – Add To MetaCart
-
Rippling on Relational Structures
- Rippling on Relational Structures Vincent Lombart 1 and Yves Deville D'epartement d
- Add To MetaCart
-
Acceptance Driven Local Search and Evolutionary Algorithms
- Acceptance Driven Local Search and Evolutionary Algorithms Eric Poupaert and Yves Deville
- Cited by 3 (0 self) – Add To MetaCart

