Patent Application
Provisional
App. No. 60/281,793
· Confirmation No. 3215
Partition-based decision heuristics for image computation using sat and BDDs
Provisional Application Expired