A certifying algorithm for lattice point feasibility in a system of UTVPI constraints
Crossref DOI link: https://doi.org/10.1007/s10878-017-0176-3
Published Online: 2017-09-27
Published Print: 2018-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Subramani, K.
Wojciechowski, Piotr
Funding for this research was provided by:
National Science Foundation (CCF-$1305054)
Text and Data Mining valid from 2017-09-27
Version of Record valid from 2017-09-27
Article History
First Online: 27 September 2017