The following pages link to Playing with AVATAR (Q3454110):
Displaying 17 items.
- Vampire with a brain is a good ITP hammer (Q831938) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- A unifying splitting framework (Q2055869) (← 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)
- Faster, higher, stronger: E 2.3 (Q2305435) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- Selecting the Selection (Q2817931) (← links)
- Cooperating Proof Attempts (Q3454105) (← links)
- (Q4553279) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
- Unifying splitting (Q6103590) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)