HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Cesare Tinelli

Publications
Exploiting parallelism in the ME calculus
Tianyi Liang and Cesare Tinelli
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors)
EPiC Series in Computing, volume 6

Keyphrases

Instantiation-based calculi, Model Evolution, parallel theorem proving.

Copyright © 2012-2023 easychair.org. All rights reserved.