Searching for authors named "Yves Deville" – sorted by Relevance.
46 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
