First Page | Document Content | |
---|---|---|
![]() Date: 2011-12-03 07:53:01Model theory Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem First-order logic Interpretation Mathematical logic Theoretical computer science Mathematics | Add to Reading List |