Modelling CSP Solution Algorithms with Petri Decision Nets

Stephan Pontow. Modelling CSP Solution Algorithms with Petri Decision Nets. In Michael J. Maher, Jean-Francois Puget, editors, Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings. Volume 1520 of Lecture Notes in Computer Science, pages 471, Springer, 1998. [doi]

Abstract

Abstract is missing.