First Page | Document Content | |
---|---|---|
![]() Date: 2009-05-04 23:56:17Complexity classes NP-complete problems Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Conjunctive normal form NP-complete Canonical form Theoretical computer science Mathematics Applied mathematics | Add to Reading List |