Journal Club

Daniel will be discussing "SAT solving to neural SAT solvers", loosely touching on:

- SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver. P. Wang, et al. (2019).

Date: 
Thursday, 13 June, 2019 - 18:00
Location: 
Informatics Forum 4.31/4.33