Follow
Martin Henz
Title
Cited by
Cited by
Year
Scheduling a major college basketball conference—revisited
M Henz
Operations research 49 (1), 163-168, 2001
1652001
Object-oriented concurrent constraint programming in Oz
G Smolka, M Henz, J Würtz
Grundlagen und Anwendungen der Künstlichen Intelligenz: 17. Fachtagung für …, 1993
1471993
Global constraints for round robin tournament scheduling
M Henz, T Müller, S Thiel
European Journal of Operational Research 153 (1), 92-101, 2004
1182004
Oz-a programming language for multi-agent systems
M Henz, G Smolka, J Würtz
IJCAI, 404-409, 1993
1021993
Using Oz for college timetabling
M Henz, J Würtz
Practice and Theory of Automated Timetabling: First International Conference …, 1996
951996
Logic programming in the context of multiparadigm programming: the Oz experience
P Van Roy, P Brand, D Duchier, S Haridi, C Schulte, M Henz
Theory and practice of logic programming 3 (6), 717-763, 2003
732003
Constraint-based Round Robin Tournament Planning.
M Henz
ICLP, 545-557, 1999
621999
COMPOzE-intention-based music composition through constraint programming
M Henz, S Lauer, D Zimmermann
Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996
501996
Objects for concurrent constraint programming
M Henz
Springer Science & Business Media, 1997
391997
Objects in Oz
M Henz
351997
Components for state restoration in tree search
CW Choi, M Henz, KB Ng
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
302001
QuikFix: A repair-based timetable solver
M Clark, M Henz, B Love
Proceedings of the Seventh PATAT Conference, 2008
282008
Figaro: Yet another constraint programming library
M Henz, T Miiller, N Ka Boon
Electronic Notes in Theoretical Computer Science 30 (3), 93-105, 2000
262000
An overview of finite domain constraint programming
M Henz, T Muller
222000
Playing with constraint programming and large neighborhood search for traveling tournaments
M Henz
Proceedings PATAT 2004, 23-32, 2004
202004
Hardware implementations of real-time reconfigurable WSAT variants
RHC Yap, SZQ Wang, MJ Henz
Field Programmable Logic and Application: 13th International Conference, FPL …, 2003
182003
SudokuSat—A Tool for Analyzing Difficult Sudoku Puzzles
M Henz, HM Truong
Tools and Applications with Artificial Intelligence, 25-35, 2009
172009
Solving hierarchical constraints over finite domains with local search
M Henz, RHC Yap, YF Lim, SC Lua, JP Walser, XP Shi
Annals of Mathematics and Artificial Intelligence 40, 283-301, 2004
172004
The Oz Handbook
M Henz, M Mehl, M Müller, T Müller, J Niehren, R Scheidhauer, C Schulte, ...
Saarbrücken: The German Research Center for Artificial Intelligence GmbH (DFKI), 1994
171994
Constraint-based timetabling a case study
M Henz
Applied Artificial Intelligence 10 (5), 439-453, 1996
151996
The system can't perform the operation now. Try again later.
Articles 1–20