Scheduling a major college basketball conference - Revisited

由 Henz, M
出版 2021

An Overview of Finite Domain Constraint Programming

由 Henz, M, Muller, T
出版 2021

SudokuSat - A tool for analyzing difficult sudoku puzzles

由 Henz, M, Truong, HM
出版 2021

M²ICAL: A tool for analyzing imperfect comparison algorithms

由 Oon, WC, Henz, M
出版 2021

Automated Generation of Region Based Geometric Questions

由 Singhal, R, Henz, M
出版 2021

M²ICAL analyses HC-gammon

由 Oon, WC, Henz, M
出版 2021

Global constraints for round robin tournament scheduling

由 Henz, M, Muller, T., Thiel, S
出版 2021

Teaching experience: Logic and formal methods with Coq

由 Henz, M, Hobor, A
出版 2021

Towards a framework for observing artificial life forms

由 Henz, M, Misra, J
出版 2021

Geometry question generator: Question and solution generation, validation and user evaluation

由 Singhal, R, Henz, M
出版 2021

M2ICAL: A tool for analyzing imperfect comparison algorithms

由 Oon, W.-C., Henz, M.
出版 2013

User-defined difficulty levels for automated question generation

由 Singhal, R, Goyal, S, Henz, M
出版 2021

M2ICAL analyses HC-gammon

由 Oon, W.-C., Henz, M.
出版 2013

A framework for automated generation of questions based on First-Order logic

由 Singhal, R, Henz, M, Goyal, S
出版 2021

QuikFix a repair-based timetable solver

由 Clark, M, Henz, M, Love, M.
出版 2021

Figaro: Yet another constraint programming library

由 Henz, M, Miiller, T, Ka Boon, N
出版 2021

A software engineering approach to constraint programming systems

由 Ng, KBK, Choi, CW, Henz, M
出版 2021

One flip per clock cycle

由 Henz, M, Tan, E, Yap, R
出版 2021

Components for state restoration in tree search

由 Choi, CW, Henz, M, Ng, KB
出版 2021

Test and development of efficient blades for use in VTOL aircraft

由 Teo, BS, Weigl, JD, Henz, M
出版 2021