M Henz

Operations research 49 (1), 163-168, 2001

G Smolka, M Henz, J Würtz

Grundlagen und Anwendungen der Künstlichen Intelligenz: 17. Fachtagung für …, 1993

M Henz, T Müller, S Thiel

European Journal of Operational Research 153 (1), 92-101, 2004

M Henz, G Smolka, J Würtz

IJCAI, 404-409, 1993

M Henz, J Würtz

International Conference on the Practice and Theory of Automated Timetabling …, 1995

P Van Roy, P Brand, D Duchier, S Haridi, C Schulte, M Henz

Theory and practice of logic programming 3 (6), 717-763, 2003

M Henz

ICLP, 545-557, 1999

M Henz, S Lauer, D Zimmermann

Proceedings Eighth IEEE International Conference on Tools with Artificial …, 1996

M Henz

Springer Science & Business Media, 1997

M Henz

M Clark, M Henz, M Love

CW Choi, M Henz, KB Ng

Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001

M Henz, T Miiller, N Ka Boon

Electronic Notes in Theoretical Computer Science 30 (3), 93-105, 2000

M Henz, T Muller

M Henz

Proceedings PATAT 2004, 23-32, 2004

RHC Yap, SZQ Wang, MJ Henz

Field Programmable Logic and Application: 13th International Conference, FPL …, 2003

JD Weigl, M Henz, H Saidi

Proceedings of the Joint International Conference on Electric Vehicular …, 2015

R Singhal, S Goyal, M Henz

2016 ieee 28th international conference on tools with artificial …, 2016

M Henz, HM Truong

Tools and Applications with Artificial Intelligence, 25-35, 2009

M Henz, RHC Yap, YF Lim, SC Lua, JP Walser, XP Shi

Annals of Mathematics and Artificial Intelligence 40, 283-301, 2004