A New Algorithm for Linear and Integer Feasibility in Horn Constraints.

K. Subramani, James Worthington

Browse the full CPAIOR paper archive.