Searching for authors named "Gerhard Wetzel" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Scheduling in a New Constraint Logic Programming Framework
- … Scheduling in a New Constraint Logic Programming Framework by Gerhard Wetzel Submitted in partial…
- Cited by 1 (1 self) – Add To MetaCart
-
A Unifying Framework for Abductive and Constraint Logic Programming
- …A Unifying Framework for Abductive and Constraint Logic Programming Gerhard Wetzel Logic Based…
- Cited by 3 (2 self) – Add To MetaCart
-
Semantic Query Optimization through Abduction and Constraint Handling
- …Semantic Query Optimization through Abduction and Constraint Handling Gerhard Wetzel Logic Based…
- Cited by 3 (0 self) – Add To MetaCart
-
A Constraint Programming Approach to Portfolio Selection
- …A Constraint Programming Approach to Portfolio Selection Gerhard Wetzel and Fabian Zabatta 1…
- Cited by 3 (1 self) – Add To MetaCart
-
Using Integrity Constraints as Deletion Rules
- …Using Integrity Constraints as Deletion Rules Gerhard Wetzel Logic Based Systems Lab Brooklyn…
- Cited by 2 (1 self) – Add To MetaCart
-
Disjunctive Programming And Cooperating Solvers
- …i 1 DISJUNCTIVE PROGRAMMING AND COOPERATING SOLVERS Ken McAloon Carol Tretkoff Gerhard Wetzel…
- Cited by 4 (0 self) – Add To MetaCart
-
Towards a declarative and efficient glass-box CLP language
- … Gerhard Wetzel Department of Computing Imperial College, London SW7 2BZ, UK frak,ft,gw1g…
- Cited by 6 (4 self) – Add To MetaCart
-
Sports League Scheduling
- …Sports League Scheduling Ken McAloon, Carol Tretkoff, Gerhard Wetzel Logic Based Systems Lab…
- Cited by 18 (0 self) – Add To MetaCart
-
A Unifying Framework for ALP, CLP and SQO
- …A Unifying Framework for ALP, CLP and SQO Robert A. Kowalski, Gerhard Wetzel, Francesca Toni Logic…
- Cited by 3 (1 self) – Add To MetaCart
-
A Theorem-Proving Approach to CLP
- …A Theorem-Proving Approach to CLP Gerhard Wetzel Robert A. Kowalski Francesca Toni Department…
- Cited by 7 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
