Search - Archive ouverte HAL Access content directly

Filter your results

1 Résultat
Image document

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses

Martin Bromberger , Lorenz Leutgeb , Christoph Weidenbach
IJCAR 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