Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 Résultat
|
|
sorted by
|
|
An Efficient Subsumption Test Pipeline for BS(LRA) ClausesIJCAR 2022 - International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.147-168, ⟨10.1007/978-3-031-10769-6_10⟩
Conference papers
hal-03881893v1
|