Searching for authors named "Martin Henz" – sorted by Relevance.
-
Don't Be Puzzled!
- Don't Be Puzzled! Martin Henz Programming Systems Lab University of the Saarland Geb. 45, Postfach
- Cited by 4 (0 self) – Add To MetaCart
-
Constraint-based Round Robin Tournament Planning
- Constraint-based Round Robin Tournament Planning Martin Henz School of Computing National
- Cited by 13 (2 self) – Add To MetaCart
-
Towards a Framework for Observing Artificial Life Forms
- Towards a Framework for Observing Artificial Life Forms Martin Henz School of Computing National
- Cited by 1 (0 self) – Add To MetaCart
-
Scheduling a Major College Basketball Conference - Revisited
- submission: March 4 1998) Martin Henz School of Computing National University of Singapore Singapore 117543
- Cited by 32 (6 self) – Add To MetaCart
-
Design of a Finite Domain Constraint Programming Library for ML
- Design of a Finite Domain Constraint Programming Library for ML Martin Henz and Gert Smolka July
- Add To MetaCart
-
Objects in Higher-order Concurrent Constraint Programing with State
- Objects in Higher-order ConcurrentConstraintPrograming with State Martin Henz and Gert Smolka
- Add To MetaCart
-
An Overview of Finite Domain Constraint Programming
- An Overview of Finite Domain Constraint Programming Martin Henz Tobias Muller School of Computing
- Cited by 1 (0 self) – Add To MetaCart
-
SUDOKUSAT—A Tool for Analyzing Difficult Sudoku Puzzles
- SUDOKUSAT—A Tool for Analyzing Difficult Sudoku Puzzles Martin Henz and Hoang-Minh Truong National
- Cited by 1 (0 self) – Add To MetaCart
-
Using Oz for college timetabling
- Using Oz for College Timetabling Martin Henz and Jorg Wurtz German Research Center for Artificial
- Cited by 20 (2 self) – Add To MetaCart
-
Glinda: A Meta-circular Interpreter for Oz
- Glinda: A Meta-circular Interpreter for Oz Martin Henz and Michael Mehl Abstract--- Executing
- Add To MetaCart

