Folgen
Martin Henz
Titel
Zitiert von
Zitiert von
Jahr
Scheduling a major college basketball conference—revisited
M Henz
Operations research 49 (1), 163-168, 2001
1652001
2 Object-Oriented Concurrent Constraint Programming
M Henz, G Smolka, J Würtz
Principles and Practice of Constraint Programming: The Newport Papers, 29, 1995
1271995
Global constraints for round robin tournament scheduling
M Henz, T Müller, S Thiel
European Journal of Operational Research 153 (1), 92-101, 2004
1152004
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
International Conference on the Practice and Theory of Automated Timetabling …, 1995
921995
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
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
501996
Objects for concurrent constraint programming
M Henz
Springer Science & Business Media, 1997
381997
Objects in Oz
M Henz
351997
Object-oriented concurrent constraint programming in Oz
G Smolka, M Henz, J Würtz
Grundlagen und Anwendungen der Künstlichen Intelligenz, 44-59, 1993
311993
Components for state restoration in tree search
CW Choi, M Henz, KB Ng
International Conference on Principles and Practice of Constraint …, 2001
302001
Quikfix—a repair-based timetable solver
M Clark, M Henz, B Love
Proceedings of the Seventh International Conference on the Practice and …, 2008
272008
Figaro: Yet another constraint programming library
M Henz, T Miiller, N Ka Boon
Electronic Notes in Theoretical Computer Science 30 (3), 93-105, 2000
252000
An overview of finite domain constraint programming
M Henz, T Müller
Proceedings of the Fifth Conference of the Association of Asia-Pacific …, 2000
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
International Conference on Field Programmable Logic and Applications, 488-496, 2003
182003
SudokuSat—A Tool for Analyzing Difficult Sudoku Puzzles
M Henz, HM Truong
Tools and Applications with Artificial Intelligence, 25-35, 2009
162009
Constraint-based timetabling a case study
M Henz
Applied Artificial Intelligence 10 (5), 439-453, 1996
151996
Don’t be puzzled
M Henz
Proceedings of the Workshop on Constraint Programming Applications, in …, 1996
141996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20