×

clasp

swMATH ID: 7095
Software Authors: Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Description: clasp: A conflict-driven answer set solver. clasp is part of the Potassco project hosted at SourceForge. Source code and pre-compiled binaries are available on the Potassco download page. clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on SMODELS format, as output by Gringo), as a SAT solver (on a simplified version of DIMACS/CNF format), or as a PB solver (on OPB format).
Homepage: http://www.cs.uni-potsdam.de/clasp/
Keywords: Potassco; answer set solver; ASP
Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; Potassco; Smodels; Cmodels; Clingcon; SATzilla; DLV2; Lparse; GASP; DLV; Chaff; Lingeling; IDP3; Glucose; Sugar
Cited in: 96 Publications
all top 5

Cited by 191 Authors

21 Schaub, Torsten H.
16 Gebser, Martin
10 Ricca, Francesco
9 Dodaro, Carmine
8 Janhunen, Tomi
8 Kaufmann, Benjamin
5 Alviano, Mario
4 Amendola, Giovanni
4 Calimeri, Francesco
4 Maratea, Marco
4 Pontelli, Enrico
4 Thiele, Sven
3 Bogaerts, Bart
3 Bomanson, Jori
3 Drescher, Christian
3 Fink, Michael
3 Hoos, Holger H.
3 Kaminski, Roland
3 Lindauer, Marius
3 Marques-Silva, João P.
3 Ostrowski, Max
3 Perri, Simona
3 Schüller, Peter
3 Siegel, Anne
3 Truszczyński, Mirosław
3 Zangari, Jessica
2 Andres, Benjamin
2 Banbara, Mutsunori
2 Bliem, Bernhard
2 Dahlem, Marc
2 Doherty, Patrick
2 Dovier, Agostino
2 Drap, Pierre
2 Erdem, Esra
2 Faber, Wolfgang
2 Leone, Nicola
2 Leyton-Brown, Kevin
2 Lierler, Yuliya
2 Marek, V. Wiktor
2 Morgado, António
2 Niemelä, Ilkka N. F.
2 Oikarinen, Emilia
2 Papini, Odile
2 Remmel, Jeffrey B.
2 Schneider, Klaus
2 Sérayet, Mariette
2 Son, Tran Cao
2 Szałas, Andrzej
2 Szeider, Stefan
2 Veber, Philippe
2 Walsh, Toby
2 Wanko, Philipp
2 Woltran, Stefan
1 Abseher, Michael
1 Argelich, Josep
1 Balduccini, Marcello
1 Baral, Chitta R.
1 Becker, Bernd
1 Benhamou, Belaid
1 Bhagyanath, Anoop
1 Bichler, Manuel
1 Bischl, Bernd
1 Bisiani, Roberto
1 Blockeel, Hendrik
1 Brewka, Gerhard
1 Bruynooghe, Maurice
1 Calautti, Marco
1 Charwat, Günther
1 Collet, Guillaume
1 Cuteri, Bernardo
1 Dal Palù, Alessandro
1 de Cat, Broes
1 De Cock, Martine
1 De Pooter, Stef
1 Delgrande, James P.
1 Denecker, Marc
1 Dusberger, Frederico
1 Dworschak, Steve
1 Dzifcak, Juraj
1 Eduati, Federica
1 Eiter, Thomas
1 Elkhatib, Omar
1 Ellmauthaler, Stefan
1 Eveillard, Damien
1 Fichte, Johannes Klaus
1 Fiorini, Paolo
1 Formisano, Andrea
1 Fréchette, Alexandre
1 Frioux, Clémence
1 Fuscà, Davide
1 Gamba, Emilio
1 Gasteiger, Philip
1 Gelfond, Michael
1 Gillmann, Michael
1 Glass, Michael S.
1 Gonçalves, Ricardo
1 Graça, Ana
1 Greco, Gianluigi
1 Greco, Sergio
1 Grell, Susanne
...and 91 more Authors

Citations by Year