Parallelizing simplex within SMT solvers
Crossref DOI link: https://doi.org/10.1007/s10462-016-9495-5
Published Online: 2016-07-09
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Banković, Milan
Funding for this research was provided by:
Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja (RS) (174021)
SCOPES (IZ73Z0_I27979/1)
License valid from 2016-07-09