TIP: Tons of Inductive Problems
Paper i proceeding, 2015

This paper describes our collection of benchmarks for inductive theorem provers. The recent spur of interest in automated inductive theorem proving has increased the demands for evaluation and comparison between systems. We expect the benchmark suite to continually grow as more problems are submitted by the community. New challenge problems will promote further development of provers which will greatly benefit both developers and users of inductive theorem provers.

Författare

Koen Lindström Claessen

Chalmers, Data- och informationsteknik, Programvaruteknik

Moa Johansson

Chalmers, Data- och informationsteknik, Programvaruteknik

Dan Rosén

Chalmers, Data- och informationsteknik, Programvaruteknik

Nicholas Smallbone

Chalmers, Data- och informationsteknik, Programvaruteknik

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

03029743 (ISSN) 16113349 (eISSN)

Vol. 9150 332-336
978-3-319-20615-8 (ISBN)

Ämneskategorier

Programvaruteknik

Datorseende och robotik (autonoma system)

DOI

10.1007/978-3-319-20615-8_23

ISBN

978-3-319-20615-8

Mer information

Skapat

2017-10-08