First Page | Document Content | |
---|---|---|
![]() Date: 2010-09-09 14:15:56Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO | Add to Reading List |