2009 |
21 | EE | Martin Henz,
Hoang-Minh Truong:
SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles.
Tools and Applications with Artificial Intelligence 2009: 25-35 |
2007 |
20 | | Wee-Chong Oon,
Martin Henz:
M2ICAL Analyses HC-Gammon.
AAAI 2007: 621-626 |
19 | EE | Wee-Chong Oon,
Martin Henz:
M2ICAL: A Tool for Analyzing Imperfect Comparison Algorithms.
ICTAI (1) 2007: 28-35 |
2004 |
18 | EE | Martin Henz,
Roland H. C. Yap,
Lim Yun Fong,
Lua Seet Chong,
J. Paul Walser,
Shi Xiao Ping:
Solving Hierarchical Constraints over Finite Domains with Local Search.
Ann. Math. Artif. Intell. 40(3-4): 283-302 (2004) |
17 | EE | Martin Henz,
Tobias Müller,
Sven Thiel:
Global constraints for round robin tournament scheduling.
European Journal of Operational Research 153(1): 92-101 (2004) |
2003 |
16 | EE | Roland H. C. Yap,
Stella Z. Q. Wang,
Martin Henz:
Hardware Implementations of Real-Time Reconfigurable WSAT Variants.
FPL 2003: 488-496 |
15 | | Peter Van Roy,
Per Brand,
Denys Duchier,
Seif Haridi,
Martin Henz,
Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience.
TPLP 3(6): 715-763 (2003) |
2002 |
14 | EE | Ka Boon Ng,
Chiu Wo Choi,
Martin Henz:
A Software Engineering Approach to Constraint Programming Systems.
APSEC 2002: 167-175 |
13 | EE | Martin Henz,
Edgar Tan,
Roland H. C. Yap:
Implementing CSAT Local Search on FPGAs.
FPL 2002: 1156-1159 |
12 | EE | Peter Van Roy,
Per Brand,
Denys Duchier,
Seif Haridi,
Martin Henz,
Christian Schulte:
Logic programming in the context of multiparadigm programming: the Oz experience
CoRR cs.PL/0208029: (2002) |
2001 |
11 | EE | Chiu Wo Choi,
Martin Henz,
Ka Boon Ng:
Components for State Restoration in Tree Search.
CP 2001: 240-255 |
10 | EE | Martin Henz,
Edgar Tan,
Roland H. C. Yap:
One Flip per Clock Cycle.
CP 2001: 509-523 |
2000 |
9 | EE | Martin Henz,
Lim Yun Fong,
Lua Seet Chong,
Shi Xiao Ping,
J. Paul Walser,
Roland H. C. Yap:
Solving Hierarchical Constraints over Finite Domains.
AMAI 2000 |
8 | EE | Tee Yong Chew,
Martin Henz,
Ka Boon Ng:
A Toolkit for Constraint-Based Inference Engines.
PADL 2000: 185-199 |
1999 |
7 | | Martin Henz:
Constraint-based Round Robin Tournament Planning.
ICLP 1999: 545-557 |
6 | EE | Martin Henz,
Tobias Müller,
Ka Boon Ng:
Figaro: Yet Another Constraint Programming Library.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
1996 |
5 | | Martin Henz,
Stefan Lauer,
Detlev Zimmermann:
COMPOzE: Intention-based Music Composition through Constraint Programming.
ICTAI 1996: 118-121 |
4 | EE | Martin Henz:
Constraint-Based Timetabling a Case Study.
Applied Artificial Intelligence 10(5): 439-453 (1996) |
1995 |
3 | | Martin Henz,
Jörg Würtz:
Using Oz for College Timetabling.
PATAT 1995: 162-177 |
1993 |
2 | | Martin Henz,
Gert Smolka,
Jörg Würtz:
Oz - A Programming Language for Multi-Agent Systems.
IJCAI 1993: 404-409 |
1 | | Gert Smolka,
Martin Henz,
Jörg Würtz:
Object-Oriented Concurrent Constraint Programming in Oz.
KI 1993: 44-59 |