Linear Constraint Databases
2019 ◽
Vol 31
(8)
◽
pp. 1417