The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4
暂无分享,去创建一个
[1] Harald Ganzinger,et al. New directions in instantiation-based theorem proving , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[2] Josef Urban,et al. MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance , 2008, IJCAR.
[3] Geoff Sutcliffe,et al. The TPTP Problem Library , 1994, Journal of Automated Reasoning.
[4] Konstantin Korovin,et al. iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description) , 2008, IJCAR.
[5] Geoff Sutcliffe,et al. Evaluating general purpose automated theorem proving systems , 2001, Artif. Intell..
[6] Peter Baumgartner,et al. Implementing the Model Evolution Calculus , 2006, Int. J. Artif. Intell. Tools.
[7] L. D. Moura,et al. The YICES SMT Solver , 2006 .
[8] Geoff Sutcliffe. The 3rd IJCAR Automated Theorem Proving Competition , 2007, AI Commun..
[9] Josef Urban,et al. MPTP 0.2: Design, Implementation, and Initial Experiments , 2006, Journal of Automated Reasoning.
[10] Geoff Sutcliffe,et al. The state of CASC , 2006, AI Commun..
[11] Deborah L. McGuinness,et al. Presenting TSTP Proofs with Inference Web Tools , 2008, PAAR/ESHOL.
[12] Geoff Sutcliffe. The CADE-21 automated theorem proving system competition , 2008, AI Commun..
[13] SutcliffeGeoff,et al. The TPTP Problem Library , 1998 .
[14] Andrei Voronkov,et al. The design and implementation of VAMPIRE , 2002, AI Commun..
[15] Geoff Sutcliffe,et al. THF0 - The Core of the TPTP Language for Higher-Order Logic , 2008, IJCAR.
[16] Peter Baumgartner,et al. The Model Evolution Calculus with Equality , 2005, CADE.
[17] Geoff Sutcliffe,et al. Conclusions about the CADE-13 ATP System Competition , 2004, Journal of Automated Reasoning.
[18] Andrei Voronkov,et al. Encodings of Bounded LTL Model Checking in Effectively Propositional Logic , 2007, CADE.
[19] John K. Slaney,et al. System Description: SCOTT-5 , 2001, IJCAR.