The following pages link to Petar Vukmirović (Q2051563):
Displaying 13 items.
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- Faster, higher, stronger: E 2.3 (Q2305435) (← links)
- (Q5028439) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Superposition with lambdas (Q5919500) (← links)
- SAT-Inspired Higher-Order Eliminations (Q6135757) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
- Extending a high-performance prover to higher-order logic (Q6536126) (← links)
- Seventeen provers under the hammer (Q6572540) (← links)
