Joachim Paul Walser


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


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. 

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)

J.P. Walser

Last Updated: November 2, 1997