Thomas Bourdeaud huy, Saïd Hanafi, Pascal Yim. Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. In Jean-Charles Régin, Michel Rueher, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings. Volume 3011 of Lecture Notes in Computer Science, pages 112-126, Springer, 2004. [doi]
Abstract is missing.