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
1742001
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
1491993
Global constraints for round robin tournament scheduling
M Henz, T Müller, S Thiel
European Journal of Operational Research 153 (1), 92-101, 2004
1272004
Oz-a programming language for multi-agent systems
M Henz, G Smolka, J Würtz
IJCAI, 404-409, 1993
1071993
Using Oz for college timetabling
M Henz, J Würtz
International Conference on the Practice and Theory of Automated Timetabling …, 1995
951995
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
762003
Constraint-based Round Robin Tournament Planning.
M Henz
ICLP, 545-557, 1999
631999
COMPOzE-intention-based music composition through constraint programming
M Henz, S Lauer, D Zimmermann
Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996
521996
Objects for concurrent constraint programming
M Henz
Springer Science & Business Media, 1997
401997
Objects in Oz
M Henz
351997
Quikfix a repair-based timetable solver
M Clark, M Henz, M Love
332008
Components for state restoration in tree search
CW Choi, M Henz, KB Ng
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
322001
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
SudokuSat—A Tool for Analyzing Difficult Sudoku Puzzles
M Henz, HM Truong
Tools and Applications with Artificial Intelligence, 25-35, 2009
212009
Playing with constraint programming and large neighborhood search for traveling tournaments
M Henz
Proceedings PATAT 2004, 23-32, 2004
212004
Hardware implementations of real-time reconfigurable WSAT variants
RHC Yap, SZQ Wang, MJ Henz
Field Programmable Logic and Application: 13th International Conference, FPL …, 2003
212003
Structure and Interpretation of Computer Programs: JavaScript Edition
H Abelson, GJ Sussman
MIT Press, 2022
202022
User-defined difficulty levels for automated question generation
R Singhal, S Goyal, M Henz
2016 ieee 28th international conference on tools with artificial …, 2016
202016
Converted battery-powered electric motorcycle and hydrogen fuel cell-powered electric motorcycle in South East Asia: Development and performance test
JD Weigl, M Henz, H Saidi
Proceedings of the Joint International Conference on Electric Vehicular …, 2015
192015
The system can't perform the operation now. Try again later.
Articles 1–20