The following pages link to Selecting the Selection (Q2817931):
Displaying 11 items.
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Vampire getting noisy: Will random bits help conquer chaos? (system description) (Q2104552) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Making theory reasoning simpler (Q2233504) (← links)
- Old or heavy? Decaying gracefully with age/weight shapes (Q2305433) (← links)
- Make E Smart Again (Short Paper) (Q5049019) (← links)
- The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
- Complete inference via knowledge Petri nets and resolution rules (Q6564892) (← links)
