Martin Henz

Martin Henz, Aquinas Hobor: Teaching Experience: Logic and Formal Methods with Coq. CPP 2011: 199-215

Martin Henz, Hoang-Minh Truong: SudokuSat-A Tool for Analyzing Difficult Sudoku Puzzles. Tools and Applications with Artificial Intelligence 2009: 25-35

Wee-Chong Oon, Martin Henz: M2ICAL Analyses HC-Gammon. AAAI 2007: 621-626

Wee-Chong Oon, Martin Henz: M2ICAL: A Tool for Analyzing Imperfect Comparison Algorithms. ICTAI (1) 2007: 28-35

Martin Henz: Objects in Oz. Saarland University 2004

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)

Martin Henz, Tobias Müller, Sven Thiel: Global constraints for round robin tournament scheduling. European Journal of Operational Research 153(1): 92-101 (2004)

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)

Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz: Hardware Implementations of Real-Time Reconfigurable WSAT Variants. FPL 2003: 488-496

Ka Boon Ng, Chiu Wo Choi, Martin Henz: A Software Engineering Approach to Constraint Programming Systems. APSEC 2002: 167-175

Martin Henz, Edgar Tan, Roland H. C. Yap: Implementing CSAT Local Search on FPGAs. FPL 2002: 1156-1159

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)

Chiu Wo Choi, Martin Henz, Ka Boon Ng: Components for State Restoration in Tree Search. CP 2001: 240-255

Martin Henz, Edgar Tan, Roland H. C. Yap: One Flip per Clock Cycle. CP 2001: 509-523

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

Tee Yong Chew, Martin Henz, Ka Boon Ng: A Toolkit for Constraint-Based Inference Engines. PADL 2000: 185-199

Martin Henz, Tobias Müller, Ka Boon Ng: Figaro: Yet Another Constraint Programming Library. Electr. Notes Theor. Comput. Sci. 30(3): 93-105 (1999)

Martin Henz: Constraint-based Round Robin Tournament Planning. ICLP 1999: 545-557

Martin Henz: Constraint-Based Timetabling a Case Study. Applied Artificial Intelligence 10(5): 439-453 (1996)

Martin Henz, Stefan Lauer, Detlev Zimmermann: COMPOzE: Intention-based Music Composition through Constraint Programming. ICTAI 1996: 118-121

Martin Henz, Jörg Würtz: Using Oz for College Timetabling. PATAT 1995: 162-177

Martin Henz, Gert Smolka, Jörg Würtz: Oz - A Programming Language for Multi-Agent Systems. IJCAI 1993: 404-409

Gert Smolka, Martin Henz, Jörg Würtz: Object-Oriented Concurrent Constraint Programming in Oz. KI 1993: 44-59