First Page | Document Content | |
---|---|---|
![]() Date: 2009-11-10 10:57:12Computational complexity theory Logic Complexity classes Mathematical logic PSPACE FO Second-order logic P versus NP problem Constraint satisfaction problem NP P Constraint satisfaction | Add to Reading List |