First Page | Document Content | |
---|---|---|
![]() Date: 2010-07-15 03:14:22Theoretical computer science Constraint programming Computational complexity theory Software engineering Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem DPLL algorithm Constraint satisfaction Solver | Add to Reading List |