Work

Leveraging Linear and Mixed Integer Programming for SMT

Year: 2014

Type: article

Source: Formal Methods in Computer-Aided Design

DOI: 10.5555/2682923.2682950

Authors: Tim L. King, Clark Barrett, Cesare Tinelli

Institutions: New York University, University of Iowa

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2013892603

FWCI: 3.014

Cites: 25

Cited by: 14

Related to: 20