Using Dominators for Solving Constrained Path Problems

Luis Quesada, Peter Van Roy, Yves Deville, Raphaƫl Collet. Using Dominators for Solving Constrained Path Problems. In Pascal Van Hentenryck, editor, Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Volume 3819 of Lecture Notes in Computer Science, pages 73-87, Springer, 2006. [doi]

Abstract

Abstract is missing.