Logahedra: A New Weakly Relational Domain.

Jacob M. Howe, Andy King

Browse the full ATVA paper archive.