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
1722001
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
1481993
Global constraints for round robin tournament scheduling
M Henz, T Müller, S Thiel
European Journal of Operational Research 153 (1), 92-101, 2004
1242004
Oz-a programming language for multi-agent systems
M Henz, G Smolka, J Würtz
IJCAI, 404-409, 1993
1081993
Using Oz for college timetabling
M Henz, J Würtz
International Conference on the Practice and Theory of Automated Timetabling …, 1995
931995
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
641999
COMPOzE-intention-based music composition through constraint programming
M Henz, S Lauer, D Zimmermann
Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996
511996
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
322008
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
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
202003
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
172015
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
Teaching experience: Logic and formal methods with Coq
M Henz, A Hobor
International Conference on Certified Programs and Proofs, 199-215, 2011
162011
The system can't perform the operation now. Try again later.
Articles 1–20