Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar. Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. In Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001. pages 536-541, ACM, 2001. [doi]

This author has not been identified. Look up 'Aarti Gupta' in GoogleThis author has not been identified. Look up 'Anubhav Gupta' in GoogleThis author has not been identified. Look up 'Zijiang Yang' in GoogleThis author has not been identified. Look up 'Pranav Ashar' in Google

runs on WebDSL