Cooperating Proof Attempts
- Submitting institution
-
The University of Manchester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 40103695
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-21401-6_23
- Title of conference / published proceedings
- Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
- First page
- 339
- Volume
- -
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Out of scope for open access requirements
- Month of publication
- July
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
A - Computer Science
- Citation count
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- "How to organise different runs of a theorem prover to collaborate on solving a single problem has been an open challenge since the 1970s. This is the first approach that demonstrates that it can be done efficiently and effectively.
Invited talk at Dagstuhl seminar 15381 ""Information from Deduction: Models and Proofs"".
The work was funded as part of the REVES project (EP/K032674/1, GBP747,000) and is the main underlying result that led to the recently awarded CAPS project (EP/V000209/1, GBP251,000) - a New Investigator Award project for Reger."
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
