First Page | Document Content | |
---|---|---|
![]() Date: 2017-07-21 11:03:15Theoretical computer science Mathematical logic Logic Formal methods Alt-Ergo Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Axiom First-order logic Solver | Add to Reading List |