Sign in

PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement.

Wael FatnassiYasser Shoukry
Published in: ADHS (2021)
Keyphrases