Work

Algorithms and data structures for logic synthesis and verification using boolean satisfiability

Year: 2013

Type: dissertation

Authors: Marcus D. Riedel, John Backes

Institution: University of Minnesota

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W35365073

Cites: 64

Cited by:

Related to: 10