Joachim Paul Walser
|
||||
Publications |
Integer Optimization Models of AI Planning Problems (Henry
Kautz and Joachim P. Walser). The Knowledge Engineering Review,
To appear.
Solving Hierarchical Constraints over Finite Domains (M.Henz, L.Y. Fong, L.S. Chong, S.X. Ping, J.P. Walser, R.H.C. Yap). Sixth Intl. Symposium on Artificial Intelligence and Mathematics , January 2000. Postscript Integer Optimization by Local Search -- A Domain-Independent Approach. Lecture Notes in Artificial Intelligence, LNAI-1637, Springer Verlag, August 1999. Springer Book Page. State-space Planning by Integer Optimization (Henry Kautz and Joachim P. Walser). Proc. AAAI-99, Orlando, FL, 1999. Postscript. Domain-Independent Local Search for Linear Integer Optimization. Doctoral dissertation accepted by the Technical Faculty of the University des Saarlandes, in October 1998. Abstract. Abstract Local Search (J.M. Crawford, M. Dalal, J.P. Walser). In Proceedings of the AIPS-98 Workshop on Planning as Combinatorial Search (held in conjunction with the Fourth International Conference on Aritificial Intelligence Planning Systems, AIPS-98), Pittsburgh, 1998. Postscript. An Integer Local Search Method with Application to Capacitated Production Planning (J.P. Walser, R. Iyer and N. Venkatasubramanyan). In Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98 , Madison, WI, 1998. Postscript Solving Linear Pseudo-Boolean Constraint Problems with Local Search. In Proceedings of the 14th National Conference on Artificial Intelligence, AAAI-97 , Providence, RI, 1997. Postscript, Postscript slides. There is also an unpublished appendix with extended experimental results (6/19/97). Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions. In Proceedings of the First Workshop on Constraint Programming Applications (held in conjunction with the Second International Conference on Principles and Practice of Constraint Programming, CP-96), Cambridge, MA, 1996. Postscript , Postscript slides Tuning Local Search for Satisfiability Testing (Andrew
J. Parkes, J.P. Walser). In Proceedings of the 13th National Conference
on Artificial Intelligence, AAAI-96
,
Portland,
OR, 1996. Postscript,
Postscript
slides
|
|||
Talks |
Domain-Independent Local Search for Integer Optimization. Frühjahrs-Workshop
der Graduiertenkollegs Kognitionswissenschaft, Saarbrücken, 8.-10.
Mai 1998.
Die Kursplanung der Herbstschule: Entscheidungsunterstützung durch Constraint-Programmierung. Herbstschule Kognitionswissenschaft, Saarbrücken, 7.-11. Oktober 1996. Postscript slides Ein Constraint-basierter Ansatz für das Problem der Frequenzplanung.
Frühjahrs-Workshop der Graduiertenkollegs Kognitionswissenschaft,
Freiburg, 13.-15. Juni 1996.
|
|||
| Master's |
Retrospective Analysis: Refinements of Local Search for Satisfiability Testing Advisor: Jimi Crawford, Computational Intelligence Research Lab (CIRL), University of Oregon Abstract. Postscript (441K). Compressed postscript (127K) |