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; Lparse; SATzilla; DLV2; GASP; Chaff; DLV; 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 Brian 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 all top 5 Cited in 13 Serials 29 Theory and Practice of Logic Programming 10 Artificial Intelligence 6 Fundamenta Informaticae 4 Constraints 3 International Journal of Approximate Reasoning 3 AI Communications 3 Annals of Mathematics and Artificial Intelligence 2 Machine Learning 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 Theoretical Computer Science 1 Annals of Operations Research 1 Journal of Logic and Computation all top 5 Cited in 9 Fields 93 Computer science (68-XX) 7 Biology and other natural sciences (92-XX) 5 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year