Martin Henz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2023

2021

2020

SICP JS: Ketchup on Caviar?Martin Henz, Tobias Wrigstad. ICFP 2021: 1

2016

User-Defined Difficulty Levels for Automated Question GenerationRahul Singhal, Shubham Goyal, Martin Henz. ictai 2016: 828-835 [doi]

2015

A Framework for Automated Generation of Questions Based on First-Order LogicRahul Singhal, Martin Henz, Shubham Goyal. aied 2015: 776-780 [doi]

2014

2011

Teaching Experience: Logic and Formal Methods with CoqMartin Henz, Aquinas Hobor. CPP 2011: 199-215 [doi]

2009

SudokuSat-A Tool for Analyzing Difficult Sudoku PuzzlesMartin Henz, Hoang-Minh Truong. In Constantinos Koutsojannis, Spiros Sirmakessis, editors, Tools and Applications with Artificial Intelligence. Volume 166 of Studies in Computational Intelligence, pages 25-35, Springer, 2009. [doi]

2007

Towards a Framework for Observing Artificial Life FormsMartin Henz, Janardan Misra. ieeealife 2007: 23-30 [doi]

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

M2ICAL: A Tool for Analyzing Imperfect Comparison AlgorithmsWee-Chong Oon, Martin Henz. ictai 2007: 28-35 [doi]

2004

Objects in OzMartin Henz. PhD thesis, Saarland University, 2004. [doi]

Solving Hierarchical Constraints over Finite Domains with Local SearchMartin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping. AMAI, 40(3-4):283-302, 2004. [doi]

Global constraints for round robin tournament schedulingMartin Henz, Tobias Müller, Sven Thiel. eor, 153(1):92-101, 2004. [doi]

2003

Logic programming in the context of multiparadigm programming: the Oz experiencePeter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte. tplp, 3(6):715-763, 2003.

Hardware Implementations of Real-Time Reconfigurable WSAT VariantsRoland H. C. Yap, Stella Z. Q. Wang, Martin Henz. fpl 2003: 488-496 [doi]

2002

Implementing CSAT Local Search on FPGAsMartin Henz, Edgar Tan, Roland H. C. Yap. fpl 2002: 1156-1159 [doi]

A Software Engineering Approach to Constraint Programming SystemsKa Boon Ng, Chiu Wo Choi, Martin Henz. apsec 2002: 167-175 [doi]

2001

Components for State Restoration in Tree SearchChiu Wo Choi, Martin Henz, Ka Boon Ng. cp 2001: 240-255 [doi]

Scheduling a Major College Basketball Conference - RevisitedMartin Henz. ior, 49(1):163-168, 2001. [doi]

One Flip per Clock CycleMartin Henz, Edgar Tan, Roland H. C. Yap. cp 2001: 509-523 [doi]

2000

A Toolkit for Constraint-Based Inference EnginesTee Yong Chew, Martin Henz, Ka Boon Ng. PADL 2000: 185-199 [doi]

Solving Hierarchical Constraints over Finite DomainsMartin Henz, Lim Yun Fong, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap. amai 2000: [doi]

1999

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

Figaro: Yet Another Constraint Programming LibraryMartin Henz, Tobias Müller, Ka Boon Ng. TCS, 30(3):93-105, 1999. [doi]

1996

COMPOzE: Intention-based Music Composition through Constraint ProgrammingMartin Henz, Stefan Lauer, Detlev Zimmermann. ictai 1996: 118-121

Constraint-Based Timetabling a Case StudyMartin Henz. aai, 10(5):439-453, 1996. [doi]

1995

Using Oz for College TimetablingMartin Henz, Jörg Würtz. patat 1996: 162-177

1993

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

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

Sign in or sign up to see more results.

runs on WebDSL