Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis.

Andrew Reynolds, Haniel Barbosa, Daniel Larraz, Cesare Tinelli

Browse the full CADE paper archive.