Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.
Home
Publications
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.
RC
Robert Cowen
Robert Cowen
KW
Katherine Wyatt
Katherine Wyatt
Open Access
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 September 1993
journal article
Published by
Duke University Press
in
Notre Dame Journal of Formal Logic
Vol. 34
(4)
https://doi.org/10.1305/ndjfl/1093633909
Abstract
No abstract available
Cited by 2 articles