Author:Pascal FontainePublications |
---|
| | | Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler | | |
Keyphrasesautomated reasoning, automatic theorem provers, Benchmarking, computer algebra, Development support, Grid Computing, higher-order logic, interpretations, Performance aspects, satisfiability checking, Satisfiability Modulo Theories (SMT), superposition calculus, symbolic computation, test, TPTP, verification. |
|