Work

Partition-Based Decision Heuristics for Image Computation using SAT and BDDs

Year: 2001

Type: article

Authors: Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zhang, Sharad Malik

Institution: Princeton University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2156490005

FWCI: 8.918

Cites: 28

Cited by: 52

Related to: 10