Filter your results
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
2 Results
|
|
sorted by
|
|
Superposition with First-class Booleans and Inprocessing ClausificationCADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.378-395, ⟨10.1007/978-3-030-79876-5_22⟩
Conference papers
hal-03552065v1
|
||
|
Making Higher-Order Superposition WorkJournal of Automated Reasoning, 2022, 66 (4), pp.541-564. ⟨10.1007/s10817-021-09613-z⟩
Journal articles
hal-03909997v1
|