- Objects in Higherorder ConcurrentConstraintPrograming
- COMPOzE ---Intentionbased Music Composition through Constraint Programming
- Scheduling a Major College Basketball Conference|Revisited Technical Note, Revised Version ( rst submission: March 4 1998)
- A Compositional Framework for Search Chiu Wo Choi 1 , Martin Henz 1 , Ka Boon Ng 2
- Oz---A Programming Language for MultiAgent Systems \Lambda Martin Henz, Gert Smolka, Jorg Wurtz
- Objects in Oz Objects Martin Henz
- SUDOKUSAT--A Tool for Analyzing Difficult Sudoku Puzzles Martin Henz and Hoang-Minh Truong
- WOZ'95: INTERNATIONAL WORKSHOP ON OZ PROGRAMMING Munchkins: A Shell for Distributed MultiUser
- Towards a Framework for Observing Artificial Life Martin Henz
- Global Constraints for Round Robin Tournament Martin Henz a Tobias M uller b Sven Thiel c
- 1 ObjectOriented Concurrent Constraint Programming in Oz \Lambda
- Using Oz for College Timetabling Martin Henz and Jorg Wurtz
- An Overview of Finite Domain Constraint Programming Martin Henz Tobias Muller
- TERM REWRITING IN ASSOCIATIVE COMMUTATIVE THEORIES WITH
- A Software Engineering Approach to Constraint Programming Systems Ka Boon Kevin Ng
- Solving Hierarchical Constraints over Finite Domains Martin Henz \Lambda Lim Yun Fong y Lua Seet Chong \Lambda Shi Xiao Ping y
- ICAL: A Tool for Analyzing Imperfect Comparison Algorithms Wee-Chong Oon and Martin Henz
- P.Y.K. Cheung et al. (Eds.): FPL 2003, LNCS 2778, pp. 488496, 2003. Springer-Verlag Berlin Heidelberg 2003
- Real-time Reconfigurable Hardware WSAT Variants Roland Yap, Stella Wang, and Martin Henz
- Implementing CSAT Local Search on FPGAs Martin Henz, Edgar Tan, and Roland H.C. Yap
- Publications of Martin Henz School of Computing
- GIFT: A Generic Interface for reusing Filtering Ka Boon Ng 1 , Chiu Wo Choi 1 , Martin Henz 1 , Tobias Muller 2
- Publications of Martin Henz School of Computing
- A Repair-based Timetable Solver Michael Clark1
- A Toolkit for Constraintbased Inference Engines Tee Yong Chew, Martin Henz, and Ka Boon Ng
- Constraintbased Round Robin Tournament Planning
- Don't Be Puzzled! Martin Henz
- Glinda: A Metacircular Interpreter for Oz Martin Henz and Michael Mehl
- Components for State Restoration in Tree Search
- GNOPL Implementation OPL Search An Extended Abstract
- One Flip per Clock Cycle Martin Henz, Edgar Tan, and Roland Yap
- ICAL Analyses HC-Gammon Wee-Chong Oon and Martin Henz
