Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings

DOI10.1007/978-3-030-29436-6MaRDI QIDQ2286167zbMATH OpenOpenAlexFDO

Authors

Publication date 10 January 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-29436-6

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(10)

• Neural precedence recommender
• Improving ENIGMA-style clause selection while learning from history
• Layered clause selection for theory reasoning (short paper)
• A posthumous contribution by Larry Wos: excerpts from an unpublished column
• Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings
• Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001
• The CADE-27 automated theorem proving system competition -- CASC-27
• How much should this symbol weigh? A GNN-advised clause selection
• Learning guided automated reasoning: a brief survey
• Vampire with a brain is a good ITP hammer

This page was built for publication: Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2286167)