Symbolic System Synthesis Using Answer Set Programming.

Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Gla

Browse the full LPNMR paper archive.