First Page | Document Content | |
---|---|---|
![]() Date: 2010-12-15 16:00:04Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Symbol Tree automaton Satisfiability Theoretical computer science Applied mathematics Mathematics | Add to Reading List |