First Page | Document Content | |
---|---|---|
![]() Date: 2018-06-25 09:59:57Theoretical computer science Mathematics Logic in computer science Constraint programming Formal methods Electronic design automation NP-complete problems Satisfiability modulo theories Expression Algorithm Concolic testing Program synthesis | Add to Reading List |