The CADE-25 Automated Theorem Proving system competition - CASC-25
暂无分享,去创建一个
[1] Geoff Sutcliffe. The 7th IJCAR automated theorem proving system competition - CASC-J7 , 2015, AI Commun..
[2] Geoff Sutcliffe,et al. Evaluating general purpose automated theorem proving systems , 2001, Artif. Intell..
[3] Cesare Tinelli,et al. Introducing StarExec: a Cross-Community Infrastructure for Logic Solving , 2014, COMPARE.
[4] David Delahaye,et al. Integrating Simplex with Tableaux , 2015, TABLEAUX.
[5] Geoff Sutcliffe,et al. The TPTP World - Infrastructure for Automated Reasoning , 2010, LPAR.
[6] Christoph Benzmüller,et al. The Leo-III Project , 2014 .
[7] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[8] Philipp Rümmer,et al. A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic , 2008, LPAR.
[9] Andrei Voronkov,et al. First-Order Theorem Proving and Vampire , 2013, CAV.
[10] Damien Doligez,et al. Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs , 2007, LPAR.
[11] Philipp Rümmer,et al. Efficient Algorithms for Bounded Rigid E-unification , 2015, TABLEAUX.
[12] Philipp Rümmer,et al. Theorem Proving with Bounded Rigid E-Unification , 2015, CADE.
[13] Andrei Voronkov,et al. AVATAR: The Architecture for First-Order Theorem Provers , 2014, CAV.
[14] Viktor Kuncak,et al. Counterexample-Guided Quantifier Instantiation for Synthesis in SMT , 2015, CAV.
[15] Geoff Sutcliffe. The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.