CASC-J3 the 3rd IJCAR ATP system competition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4130 LNAI, Issue , 2006, Pages 572-573

  Sutcliffe, Geoff ^a  

^a Department of Computer Science and Center for Computational Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33749582793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11814771_46     Document Type: Conference Paper

References (5)

1. [BdMS05] C. Barrett, L. de Moura, and A. Stump. SMT-COMP: Satisfiability Modulo Theories Competition. In K. Etessami and S. Rajamani, editors, Proceedings of the 17th International Conference on Computer Aided Verification, number 3576 in Lecture Notes in Computer Science, pages 20-23. Springer-Verlag, 2005.
2. [DFS04] E. Denney, B. Fischer, and J. Schumann. Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. In M. Rusinowitch and D. Basin, editors, Proceedings of the 2nd International Joint Conference on Automated Reasoning, LNAI 3097, pages 198-212, 2004.
3. [RPG05] D. Ramachandran, Reagan P., and K. Goolsbey. First-orderized Research-Cyc: Expressiveness and Efficiency in a Common Sense Knowledge Base. In Shvaiko P., editor, Proceedings of the Workshop on Contexts and Ontologies: Theory, Practice and Applications, 2005.
4. [RTRL] S. Ranise and C. Tinelli. The Satisfiability Modulo Theories Library (SMT-LIB). http://goedel.cs.uiowa.edu/smtlib/, URL.
5. [SS06] G. Sutcliffe and C. Suttner. The State of CASC. AI Communications, 19(1):35-48, 2006.