The 5th IJCAR automated theorem proving system competition - CASC-J5
暂无分享,去创建一个
[1] Armando Tacchella,et al. Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003, Santa Margherita Ligure, Italy, May 5-8 2003: Selected Revised Papers (Lecture Notes in Computer Science, 2919) , 2004 .
[2] Konstantin Korovin,et al. iProver - An Instantiation-Based Theorem Prover for First-Order Logic (System Description) , 2008, IJCAR.
[3] Chad E. Brown,et al. Analytic Tableaux for Higher-Order Logic with Choice , 2010, Journal of Automated Reasoning.
[4] Andrei Voronkov,et al. Encodings of Bounded LTL Model Checking in Effectively Propositional Logic , 2007, CADE.
[5] Peter Balsiger,et al. A Benchmark Method for the Propositional Modal Logics K, KT, S4 , 2004, Journal of Automated Reasoning.
[6] Geoff Sutcliffe. The CADE-23 Automated Theorem Proving System Competition - CASC-23 , 2012, AI Commun..
[7] Stephan Schulz,et al. Simple and Efficient Clause Subsumption with Feature Vector Indexing , 2013, Automated Reasoning and Mathematics.
[8] Harald Ganzinger,et al. New directions in instantiation-based theorem proving , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[9] Peter Baumgartner,et al. Computing finite models by reduction to function-free clause logic , 2009, J. Appl. Log..
[10] Geoff Sutcliffe,et al. Divvy: An ATP Meta-system Based on Axiom Relevance Ordering , 2009, CADE.
[11] Niklas Sörensson,et al. An Extensible SAT-solver , 2003, SAT.
[12] Ales Drápal,et al. Buchsteiner Loops , 2007, Int. J. Algebra Comput..
[13] Stephan Schulz,et al. E - a brainiac theorem prover , 2002, AI Commun..
[14] Josef Urban,et al. MPTP 0.2: Design, Implementation, and Initial Experiments , 2006, Journal of Automated Reasoning.
[15] Geoff Sutcliffe,et al. The state of CASC , 2006, AI Commun..
[16] Christopher W. Brown. QEPCAD B: a program for computing with semi-algebraic sets using CADs , 2003, SIGS.
[17] Konstantin Korovin. Instantiation-Based Automated Reasoning: From Theory to Practice , 2009, CADE.
[18] Christoph Weidenbach,et al. Computing Small Clause Normal Forms , 2001, Handbook of Automated Reasoning.
[19] Lawrence C. Paulson,et al. Lightweight relevance filtering for machine-generated resolution problems , 2009, J. Appl. Log..
[20] Vinay K. Chaudhri,et al. Introduction to the Special Issue on Question Answering , 2010, AI Mag..
[21] Robert Tibshirani,et al. An Introduction to the Bootstrap , 1994 .
[22] Lawrence C. Paulson,et al. LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) , 2008, IJCAR.
[23] Geoff Sutcliffe. The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4 , 2009, AI Commun..
[24] Geoff Sutcliffe. The CADE-22 automated theorem proving system competition - CASC-22 , 2010, AI Commun..
[25] Geoff Sutcliffe,et al. Evaluating general purpose automated theorem proving systems , 2001, Artif. Intell..
[26] Tobias Nipkow,et al. Sledgehammer: Judgement Day , 2010, IJCAR.
[27] Geoff Sutcliffe. The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.
[28] Harald Ganzinger,et al. Rewrite-Based Equational Theorem Proving with Selection and Simplification , 1994, J. Log. Comput..
[29] K. Claessen,et al. New Techniques that Improve MACE-style Finite Model Finding , 2007 .
[30] J. Hurd. First-Order Proof Tactics in Higher-Order Logic Theorem Provers In Proc , 2003 .
[31] William Pugh,et al. The Omega test: A fast and practical integer programming algorithm for dependence analysis , 1991, Proceedings of the 1991 ACM/IEEE Conference on Supercomputing (Supercomputing '91).