The following pages link to A unifying splitting framework (Q2055869):
Displaying 10 items.
- The split-BREAK model (Q468012) (← links)
- A unifying splitting framework (Q2055869) (← links)
- (Q3156503) (← links)
- A Labelled System for IPL with Variable Splitting (Q3608770) (← links)
- The Finest Splitting Uniformity (Q4649810) (← links)
- Splitting Enables Overcoming the Curse of Dimensionality (Q5350484) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
- Unifying splitting (Q6103590) (← links)