{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:11Z","timestamp":1725664991929},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_76","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:50:10Z","timestamp":1330275010000},"page":"146-160","source":"Crossref","is-referenced-by-count":2,"title":["The design of the CADE-13 ATP system competition"],"prefix":"10.1007","author":[{"given":"Christian B.","family":"Suttner","sequence":"first","affiliation":[]},{"given":"Geoff","family":"Sutcliffe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Astrachan O., Khera V., Kotz D. (1993), The Internet Programming Contest: A Report and Philosophy, Proceedings of the 24th SIGCSE Technical Conference, SIGCSE Bulletin, ACM Press, 48\u201352.","DOI":"10.1145\/169073.169105"},{"key":"13_CR2","unstructured":"Astrachan O.L., Loveland D.W. (1994), Measuring the Performance of Automated Theorem Provers, Sutcliffe G., Suttner, C. (Eds), Proceedings of the CADE-12 Workshop 2C \u2014 Evaluation of Automated Theorem Proving Systems, 37\u201341."},{"key":"13_CR3","unstructured":"Buro M., Kleine-B\u00fcning H. (1992), Report on a SAT Competition, Reihe Informatik, Bericht Nr. 110, FB 17-Mathematik\/Informatik Universit\u00e4t Paderborn."},{"key":"13_CR4","unstructured":"Chen E., Istrail S., Johnson D., Kececioglu J., Messing J., Nadeau J., Pevzner P., Rice P., Vingron M., Waterman M. (1994), The 4th DIMACS International Algorithm Implementation Challenge, http:\/\/dimacs.rutgers.edu\/challenge.html."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Comer J., Rinewalt R., Ryan P., Poucher W.B. (1990), The ACM Scholastic Programming Contest-1977 to 1990, Proceedings of the 21st SIGCSE Technical Symposium on Computer Science Education, SIGCSE Bulletin 22(1), ACM Press, 256.","DOI":"10.1145\/319059.323416"},{"key":"13_CR6","unstructured":"Crawford J., Selman B. (1996), International Competition and Symposium on Satisfiability Testing, http:\/\/tango.ncic.ac.cn\/sat\/cfp."},{"key":"13_CR7","unstructured":"Dunker U. (1994), Search Space and Proof Complexity of Theorem Proving Strategies, Sutcliffe G., Suttner, C.B. (Eds), Proceedings of the CADE-12 Workshop 2C-Evaluation of Automated Theorem Proving System."},{"key":"13_CR8","volume-title":"Doctoral Thesis","author":"R. Letz","year":"1993","unstructured":"Letz R. (1993), First-Order Calculi and Proof Procedures for Automated Deduction, Doctoral Thesis, Institut f\u00fcr Informatik, TU M\u00fcnchen, Munich, Germany."},{"key":"13_CR9","volume-title":"ANL-94\/6","author":"W.W. McCune","year":"1994","unstructured":"McCune W.W. (1994), Otter 3.0 Reference Manual and Guide, ANL-94\/6, Argonne National Laboratory, Argonne, USA."},{"key":"13_CR10","unstructured":"Michie D., Muggleton S., Page D., Srinivasan A. (1994), 3 Inductive Learning Competitions, ftp:\/\/ftp.comlab.ox.ac.uk\/pub\/Packages\/ILP"},{"issue":"3","key":"13_CR11","first-page":"159","volume":"17","author":"M. Newborn","year":"1994","unstructured":"Newborn M., (1994), The 24th ACM International Computer Chess Championship, Journal of the International Computer Chess Association, 17(3), 159\u2013164.","journal-title":"Journal of the International Computer Chess Association"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00881870","volume":"11","author":"R. Overbeek","year":"1993","unstructured":"Overbeek R. (1993), The CADE-11 Competitions: A Personal View, Journal of Automated Reasoning 11(3), 315\u2013316.","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR13","unstructured":"Pelletier F.J. (1991), The Philosophy of Automated Theorem Proving, Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1039\u20131045."},{"key":"13_CR14","first-page":"57","volume-title":"LNAI 814","author":"D.A. Plaisted","year":"1994","unstructured":"Plaisted D.A. (1994), The Search Efficiency of Theorem Proving Strategies, Bundy A. (Ed), Proceedings of the 12th International Conference on Automated Deduction, LNAI 814, Springer-Verlag\u201e New York, USA, 57\u201371."},{"key":"13_CR15","unstructured":"Prehofer C., Slind K. (1994), Theorem Proving in Interactive Verification Systems, Sutcliffe G., Suttner, C.B. (Eds), Proceedings of the CADE-12 Workshop 2C-Evaluation of Automated Theorem Proving Systems."},{"key":"13_CR16","first-page":"252","volume-title":"LNAI 814","author":"G. Sutcliffe","year":"1994","unstructured":"Sutcliffe G., Suttner C.B., Yemenis T. (1994), The TPTP Problem Library, Bundy A. (Ed), Proceedings of the 12th International Conference on Automated Deduction (Nancy, France, 1994), LNAI 814, Springer-Verlag\u201e New York, USA, 252\u2013266."},{"key":"13_CR17","volume-title":"Technical Report AR-95-03","author":"C.B. Suttner","year":"1995","unstructured":"Suttner C.B., Sutcliffe G. (1995), The TPTP Problem Library (TPTP v1.2.0), Technical Report AR-95-03, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Munich, Germany; Technical Report 95\/6, Department of Computer Science, James Cook University, Townsville, Australia."},{"key":"13_CR18","volume-title":"Technical Report 95\/15","author":"G. Sutcliffe","year":"1995","unstructured":"Sutcliffe G., Suttner, C.B. (1995), The Design of the CADE-13 ATP System Competition, Technical Report 95\/15, Department of Computer Science, James Cook University, Townsville, Australia; Technical Report AR-95-05, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Munich, Germany."},{"key":"13_CR19","volume-title":"Technical Report 95\/16","author":"G. Sutcliffe","year":"1995","unstructured":"Sutcliffe G., Suttner C.B. (1995), ATP System Results for the TPTP Problem Library (up to TPTP v1.1.3), Technical Report 95\/16, Department of Computer Science, James Cook University, Townsville, Australia; Technical Report AR-95-06, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Munich, Germany."},{"key":"13_CR20","volume-title":"Handbook of Statistical Methods for Engineers and Scientists","author":"H.M. Wadsworth","year":"1989","unstructured":"Wadsworth H.M. (1989), Handbook of Statistical Methods for Engineers and Scientists, McGraw-Hill, USA."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:07:22Z","timestamp":1605629242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}