First Page | Document Content | |
---|---|---|
![]() Date: 2012-12-16 04:54:55Theoretical computer science Mathematics Computational complexity theory Operations research Logic in computer science Mathematical optimization NP-complete problems Boolean algebra Maximum satisfiability problem Boolean satisfiability problem Constraint satisfaction Solver | Add to Reading List |