A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems.

Piotr Wojciechowski, K. Subramani

Browse the full LOPSTR paper archive.