Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.

Ruzica Piskac, Viktor Kuncak

Browse the full CSL paper archive.