Alembic: An Efficient Algorithm for CNF Preprocessing
Published in Proceedings - ACM IEEE Design Automation Conference • Jun 1, 2007
NobleIDNI9P28W01R24S89
Authors:,
Hyojung Han
Fabio Somenzi
Abstract
This DOI is not currently attached to any metadata records. DOIs can’t actually ever be deleted (they’re persistent), but sometimes our members create DOIs in error. We do have a process to approximate deletion which we follow only in rare cases where the DOI has been genuinely created in error, and...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!