Matthew Hague: Monadic Decomposition in Integer Linear Arithmetic (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 17/07/2020

Authors: Matthew Hague, Anthony Widjaja Lin, Philipp Ruemmer, and Zhilin Wu


Aired: 2020-02-04 13:00:00 CEST (UTC+2)