First Page | Document Content | |
---|---|---|
![]() Date: 2012-09-09 10:02:45Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic | Add to Reading List |