Sciweavers

SAT   2004 Theory and Applications of Satisfiability Testing
Wall of Fame | Most Viewed SAT-2004 Paper
SAT
2004
Springer
158views Hardware» more  SAT 2004»
14 years 5 months ago
Aligning CNF- and Equivalence-Reasoning
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
Marijn Heule, Hans van Maaren
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source158
2Download preprint from source158
3Download preprint from source131
4Download preprint from source117
5Download preprint from source115
6Download preprint from source113
7Download preprint from source111
8Download preprint from source109
9Download preprint from source109
10Download preprint from source107
11Download preprint from source106
12Download preprint from source106
13Download preprint from source102
14Download preprint from source101
15Download preprint from source101
16Download preprint from source99
17Download preprint from source97
18Download preprint from source97
19Download preprint from source95
20Download preprint from source95
21Download preprint from source94
22Download preprint from source90
23Download preprint from source89
24Download preprint from source88
25Download preprint from source85
26Download preprint from source83
27Download preprint from source75
28Download preprint from source73