Author:Pascal Fontaine

Publications

Keyphrases

automated 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.