Search - Archive ouverte HAL Access content directly

Filter your results

1 Résultat
Image document

A Comprehensive Framework for Saturation Theorem Proving

Uwe Waldmann , Sophie Tourret , Simon Robillard , Jasmin Blanchette
Journal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩
Journal articles hal-03909983v1