Login / Signup

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

K. SubramaniJames Worthington
Published in: CPAIOR (2011)
Keyphrases