Bernhard Gleiss: Layered Clause Selection for Theory Reasoning (short paper) (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 14/07/2020

Authors: Bernhard Gleiss and Martin Suda

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