×

ASSAT

swMATH ID: 2524
Software Authors: Yuting Zhao
Description: ASSAT (Answer Sets by SAT solvers) is a system for computing answer sets of a logic program by using SAT solvers. Briefly speaking, given a ground logic program P, ASSAT(X), depending on the SAT solver X used, works as follows: Computes the completion of P and converts it into a set C of clauses. Repeats Calls X on C to get a model M (terminates with failure if no such M exists). If M is an answer set of P, then returns with it. Otherwise, finds some loops in P whose loop formulas are not satisfied by M and adds their corresponding clauses to C.
Homepage: http://assat.cs.ust.hk/
Programming Languages: C++
Operating Systems: multi-platform
Dependencies: dependencies
Keywords: keywords
Related Software: Cmodels; Smodels; clasp; Gringo; Lparse; Chaff; MiniSat; NoMoRe; Datalog; Clingo; GNT; WASP; GASP; Potassco; DLV; BerkMin; nomore++; Clingcon; SATzilla; CCalc
Referenced in: 167 Publications
Further Publications: http://assat.cs.ust.hk/#publications
all top 5

Referenced by 189 Authors

18 Gebser, Martin
15 Schaub, Torsten H.
13 Leone, Nicola
12 Janhunen, Tomi
10 Tompits, Hans
9 Faber, Wolfgang
9 Lin, Fangzhen
9 Woltran, Stefan
8 Eiter, Thomas
7 Lee, Joohyung
7 Lifschitz, Vladimir
7 Marek, V. Wiktor
7 Niemelä, Ilkka N. F.
7 Ricca, Francesco
7 You, Jia-Huai
6 Calimeri, Francesco
6 Lierler, Yuliya
6 Maratea, Marco
6 Remmel, Jeffrey B.
6 Truszczyński, Mirosław
5 Oikarinen, Emilia
5 Perri, Simona
5 Pfeifer, Gerald
5 Wang, Yisong
5 Zhang, Mingyi
4 Fink, Michael
4 Kaufmann, Benjamin
4 Linke, Thomas
4 Pontelli, Enrico
4 Yuan, Li Yan
4 Zhang, Yan
3 Baral, Chitta R.
3 Brain, Martin
3 Denecker, Marc
3 Gelfond, Michael
3 Giunchiglia, Enrico
3 Ianni, Giovambattista
3 Järvisalo, Matti
3 Kaminski, Roland
3 Lefèvre, Claire
3 Nicolas, Pascal
3 Ostrowski, Max
3 Pührer, Jörg
3 Son, Tran Cao
3 Vermeir, Dirk
3 Zhou, Yi
2 Alliot, Jean-Marc
2 Alviano, Mario
2 Bogaerts, Bart
2 Bomanson, Jori
2 Cabalar, Pedro
2 Catalano, Gelsomina
2 Chen, Yin
2 De Vos, Marina
2 Diéguez, Martín
2 Doherty, Patrick
2 Dovier, Agostino
2 Fariñas del Cerro, Luis
2 Ferraris, Paolo
2 Fichte, Johannes Klaus
2 Greco, Gianluigi
2 Heymans, Stijn
2 Hué, Julien
2 Janssen, Jeroen
2 Konczak, Kathrin
2 Liu, Guohua
2 Neumann, André
2 Oetsch, Johannes
2 Papini, Odile
2 Pelov, Nikolay
2 Polleres, Axel
2 Rintanen, Jussi
2 Saad, Emad W.
2 Saribatur, Zeynep Gozen
2 Shen, Yidong
2 Stéphan, Igor
2 Szałas, Andrzej
2 Szeider, Stefan
2 Van Den Broeck, Guy
2 Wurbel, Eric
2 Zhang, Yuanlin
2 Zhao, Yuting
1 Aguado, Felicidad
1 Anger, Christian
1 Angiulli, Fabrizio
1 Asuncion, Vernon
1 Béatrix, Christopher
1 Ben-Eliyahu-Zohary, Rachel
1 Benhamou, Belaid
1 Bochman, Alexander
1 Bonatti, Piero Andrea
1 Bonet, Blai
1 Bozzato, Loris
1 Brummayer, Robert
1 Bruynooghe, Maurice
1 Cadoli, Marco
1 Cenzer, Douglas
1 Chen, Xiaoping
1 Claessen, Koen
1 Crick, Tom
...and 89 more Authors

Referencing Publications by Year