2,357 followers
2,357 followers
868 followers
@ravenslofty @ColeJ71909899 The MAJ is also explained here: https://t.co/tN6t0Wp6B1
New Data Structures and Algorithms for Logic Synthesis and Verification
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Biconditional Logic
-
Altmetric BadgeChapter 3 Majority Logic
-
Altmetric BadgeChapter 4 Exploiting Logic Properties to Speedup SAT
-
Altmetric BadgeChapter 5 Majority Normal Form Representation and Satisfiability
-
Altmetric BadgeChapter 6 Improvements to the Equivalence Checking of Reversible Circuits
-
Altmetric BadgeChapter 7 Conclusions