Shift Design with Answer Set Programming.

Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran

Browse the full LPNMR paper archive.