Haniel Barbosa: Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Authors: Andrew Reynolds, Haniel Barbosa, Daniel Larraz, and Cesare Tinelli

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