Towards Next Generation Sequential and Parallel SAT Solvers
Loading...
Fulltext URI
Document type
Text/Journal Article
Additional Information
Date
relationships.isAuthorOf
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Formula rewriting, Formula simplification, Parallel search, SAT solving