Pages that link to "Item:Q2286167"
From MaRDI portal
The following pages link to Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings (Q2286167):
Displaying 6 items.
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Neural precedence recommender (Q2055885) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Layered clause selection for theory reasoning (short paper) (Q2096461) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- The CADE-27 Automated theorem proving System Competition – CASC-27 (Q5145460) (← links)
