A search-based procedure for nonlinear real arithmetic

Document Details

Document Type: Pub Defense Publication
Publication Date: Apr 20, 2016
Source ID: 10.1007/s10703-016-0245-8

Entities

People

Ashish Tiwari
Patrick Lincoln

Organizations

Defense Advanced Research Projects Agency
National Science Foundation