Magically Constraining the Inverse Method Using Dynamic Polarity Assignment

Kaustuv Chaudhuri. Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. In Christian G. Fermüller, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Volume 6397 of Lecture Notes in Computer Science, pages 202-216, Springer, 2010. [doi]

Abstract

Abstract is missing.