Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.

Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski

Browse the full LPNMR paper archive.