Deciding Orthogonality in Construction-A Lattices

Karthekeyan Chandrasekaran, Venkata Gandikota, Elena Grigorescu. Deciding Orthogonality in Construction-A Lattices. In Prahladh Harsha, G. Ramalingam, editors, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India. Volume 45 of LIPIcs, pages 151-162, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.