@inproceedings{TEMP:conf/sat/KaufmannSS12, author = {Kaufmann, Benjamin and Schaub, Torsten and Schneider, Marius}, title = {clasp, claspfolio, aspeed: Three Solvers from the Answer Set Solving Collection {P}otassco}, pages = {17--19}, booktitle = {SAT Challenge}, year = {2012}, volume = {B-2012-2}, publisher = {University of Helsinki} }