Potassco

Team

• Benjamin Andres (University of Potsdam)
• Martin Gebser (University of Potsdam)
• Alexander Häusler (University of Potsdam)
• Julius Höfler (University of Potsdam)
• Holger Jost (University of Potsdam)
• Roland Kaminski (University of Potsdam)
• Benjamin Kaufmann (University of Potsdam)
• Arne König (University of Potsdam)
• Marco Müller (University of Potsdam)
• Philipp Obermeier (University of Potsdam)
• Max Ostrowski (University of Potsdam)
• Sven Papenfuß (University of Potsdam)
• Danny Puhan (University of Potsdam)
• Tobias Rabener (University of Potsdam)
• Javier Romero Davila (University of Potsdam)
• Orkunt Sabuncu (University of Potsdam)
• Torsten Schaub (University of Potsdam)
• Thomas Schnaak (University of Potsdam)
• Marius Schneider (University of Potsdam)
• Johannes Spazier (University of Potsdam)
• Philipp Wanko (University of Potsdam)
• Matthias Weise (University of Potsdam)

Description

Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam. For the Model&Solve track problems, we use gringo 3 (stand-alone on Reachability), clasp 2, and iclingo 3 (on Solitaire). Search settings for clasp are manually chosen (wrt few instances) per problem class, mostly among options offered via the switch "--configuration".

System Settings

• Permutation Pattern Matching: gringo | clasp --configuration=handy
• Valves Location Problem: gringo | clasp --config=jumpy --restart-on-model --opt-heu=2 --reset-restarts
• Connected Maximum-Density Still Life: gringo | clasp
• Graceful Graphs: gringo | clasp --heu=vsids
• Bottle Filling Problem: gringo | clasp --heu=vsids
• Nomystery: gringo | clasp --config=jumpy
• Sokoban: gringo | clasp
• Ricochet Robots: gringo | clasp --configuration=handy
• Crossing Minimization: gringo | clasp (| "pretty-print")
• Reachability: gringo (| "pretty-print")
• Strategic Companies: gringo | clasp(D-2 | "pretty-print")
• Solitaire: iclingo --heu=vsids (| "pretty-print")
• Weighted-Sequence Problem: gringo | clasp (| "pretty-print")
• Stable Marriage: gringo | clasp --config=jumpy
• Incremental Scheduling: gringo | clasp (| "pretty-print")

References

• Participant URL.

• Reference URL

• M. Gebser and R. Kaminski and B. Kaufmann and M. Ostrowski and T. Schaub and M. Schneider, Potassco: The Potsdam Answer Set Solving Collection. AI Communications 24(2): 107-124, 2011.