Pages that link to "Item:Q2096461"
From MaRDI portal
The following pages link to Layered clause selection for theory reasoning (short paper) (Q2096461):
Displaying 8 items.
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Improving ENIGMA-style clause selection while learning from history (Q2055886) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- Making theory reasoning simpler (Q2233504) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
