×

Potassco

swMATH ID: 6996
Software Authors: Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
Description: Potassco: the Potsdam answer set solving collection. This paper gives an overview of the open source project Potassco, the Potsdam answer set solving collection, bundling tools for answer set programming developed at the University of Potsdam.
Homepage: http://potassco.sourceforge.net/
Keywords: answer set programming; declarative problem solving
Related Software: Clingo; Gringo; clasp; MiniSat; ASSAT; Chaff; iClingo; WASP; Clingcon; Lparse; Gurobi; Datalog; Smodels; SATzilla; DLV-EX; ASPIDE; Cmodels; aspcud; GDL; GitHub
Referenced in: 72 Publications
all top 5

Referenced by 150 Authors

12 Schaub, Torsten H.
9 Gebser, Martin
6 Eiter, Thomas
5 Kaminski, Roland
4 Erdem, Esra
4 Woltran, Stefan
3 Dodaro, Carmine
3 Gottlob, Georg
3 Janhunen, Tomi
3 Kaufmann, Benjamin
3 Krennwallner, Thomas
3 Redl, Christoph
3 Thielscher, Michael
3 Wallner, Johannes Peter
2 De Cock, Martine
2 Dvořák, Wolfgang
2 Fichte, Johannes Klaus
2 Fink, Michael
2 Gaggl, Sarah Alice
2 Gao, Tiantian
2 Gonçalves, Ricardo
2 Kaminski, Tobias
2 Knorr, Matthias
2 Law, Mark M.
2 Leite, João
2 Morak, Michael
2 Ostrowski, Max
2 Pieris, Andreas
2 Ricca, Francesco
2 Russo, Alessandra M.
2 Sabuncu, Orkunt
2 Schockaert, Steven
2 Szeider, Stefan
2 Tompits, Hans
2 Zhang, Yuanlin
1 Achterberg, Tobias
1 Amendola, Giovanni
1 Andres, Benjamin
1 Aschinger, Markus
1 Bauters, Kim
1 Beck, Harald
1 Beck, J. Christopher
1 Bendtsen, Marcus
1 Bisiani, Roberto
1 Bliem, Bernhard
1 Blount, Justin
1 Bockmayr, Alexander
1 Bofill, Miquel
1 Bomanson, Jori
1 Brandt, Felix
1 Broda, Krysia B.
1 Busquets, Dídac
1 Charwat, Günther
1 Chimani, Markus
1 Cropper, Andrew
1 Danks, David
1 De Raedt, Luc
1 Drescher, Conrad
1 Eberhardt, Frederick
1 Everardo, Flavio
1 Faber, Wolfgang
1 Falkner, Andreas A.
1 Fidan, Müge
1 Flouris, Giorgos
1 Fodor, Paul
1 Friedrich, Gerhard E.
1 Geist, Christian
1 Gelfond, Michael
1 Godo, Lluís
1 Greßler, Alexander
1 Grote, Torsten
1 Guitart, Francesc
1 Harrenstein, Paul
1 Haufe, Sebastian
1 Hedtke, Ivo
1 Herzig, Andreas
1 Hoos, Holger H.
1 Hung, Ling-Hong
1 Hyttinen, Antti
1 Iocchi, Luca
1 Izmirlioglu, Yusuf
1 Järvisalo, Matti
1 Kahl, Patrick Thor
1 Kain, Tobias
1 Kifer, Michael
1 Klarner, Hannes
1 Koenig, Sven
1 Koponen, Laura
1 Kumar, T. K. Satish
1 Le, Franck
1 Le, Tiep
1 Leclerc, Anthony P.
1 Leonetti, Matteo
1 Lierler, Yuliya
1 Lindauer, Marius
1 Linsbichler, Thomas
1 Liu, Yanhong Annie
1 Lobo, Jorge
1 Ma, Jiefei
1 Manlove, David F.
...and 50 more Authors

Referencing Publications by Year