First Page | Document Content | |
---|---|---|
![]() Date: 2015-02-02 08:44:10Theoretical computer science Mathematical logic Mathematics Logic in computer science NP-complete problems Boolean algebra Electronic design automation Algebraic logic Tseytin transformation Boolean satisfiability problem Conjunctive normal form Canonical normal form | Add to Reading List |