Uwe Waldmann: A Comprehensive Framework for Saturation Theorem Proving (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-14

Authors: Uwe Waldmann, Sophie Tourret, Simon Robillard, and Jasmin Blanchette

Aired: 2020-02-01 14:00:00 CEST (UTC+2)