Read-Once Certification of Linear Infeasibility in UTVPI Constraints.

K. Subramani Piotr J. Wojciechowski

Published in: TAMC (2019)

Keyphrases

linear constraints
linear inequalities
constraint satisfaction
linear systems
third party
linear model
global constraints