نتائج بحث المؤلف

1

Scheduling a major college basketball conference - Revisited

بواسطة Henz, M
منشور في 2021

احصل على النص الكامل

مقال

2

An Overview of Finite Domain Constraint Programming

بواسطة Henz, M, Muller, T
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

3

SudokuSat - A tool for analyzing difficult sudoku puzzles

بواسطة Henz, M, Truong, HM
منشور في 2021

احصل على النص الكامل

مقال

4

M<sup>2</sup>ICAL: A tool for analyzing imperfect comparison algorithms

بواسطة Oon, WC, Henz, M
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

5

Automated Generation of Region Based Geometric Questions

بواسطة Singhal, R, Henz, M
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

6

M<sup>2</sup>ICAL analyses HC-gammon

بواسطة Oon, WC, Henz, M
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

7

Global constraints for round robin tournament scheduling

بواسطة Henz, M, Muller, T., Thiel, S
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

8

Teaching experience: Logic and formal methods with Coq

بواسطة Henz, M, Hobor, A
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

9

Towards a framework for observing artificial life forms

بواسطة Henz, M, Misra, J
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

10

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

بواسطة Singhal, R, Henz, M
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

11

M2ICAL: A tool for analyzing imperfect comparison algorithms

بواسطة Oon, W.-C., Henz, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

12

User-defined difficulty levels for automated question generation

بواسطة Singhal, R, Goyal, S, Henz, M
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

13

M2ICAL analyses HC-gammon

بواسطة Oon, W.-C., Henz, M.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

14

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

بواسطة Singhal, R, Henz, M, Goyal, S
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

15

QuikFix a repair-based timetable solver

بواسطة Clark, M, Henz, M, Love, M.
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

16

Figaro: Yet another constraint programming library

بواسطة Henz, M, Miiller, T, Ka Boon, N
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

17

A software engineering approach to constraint programming systems

بواسطة Ng, KBK, Choi, CW, Henz, M
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

18

One flip per clock cycle

بواسطة Henz, M, Tan, E, Yap, R
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

19

Components for state restoration in tree search

بواسطة Choi, CW, Henz, M, Ng, KB
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item

20

Test and development of efficient blades for use in VTOL aircraft

بواسطة Teo, BS, Weigl, JD, Henz, M
منشور في 2021

احصل على النص الكامل

Conference or Workshop Item