First Page | Document Content | |
---|---|---|
![]() Date: 2004-02-15 23:56:23NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation 2-satisfiability NP-complete NP Theoretical computer science Computational complexity theory Applied mathematics | Add to Reading List |