×

Clingcon

swMATH ID: 9892
Software Authors: Martin Gebser; Max Ostrowski; Torsten Schaub
Description: Clingcon is a hybrid solver combining the monolithic answer set solver Clingo and the CSP solver Gecode. Clingcon is an answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers can be used in the logic programs. The primary clingcon algorithm adopts state-of-the-art techniques from SMT and uses conflict-driven learning and theory propagation for the CSP solver.
Homepage: http://www.cs.uni-potsdam.de/clingcon/
Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; MiniSat; DLV-EX; Lparse; ASSAT; Chaff; GASP; Smodels; ROSoClingo; DLV2; ASPMT2SMT; Datalog; Sugar; sCASP; PDDL
Cited in: 39 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
clingcon: the next generation. Zbl 1379.68040
Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten
2017
all top 5

Cited by 72 Authors

8 Schaub, Torsten H.
5 Balduccini, Marcello
5 Ostrowski, Max
4 Dodaro, Carmine
4 Gebser, Martin
3 Drescher, Christian
3 Eiter, Thomas
3 Janhunen, Tomi
3 Kaufmann, Benjamin
3 Lierler, Yuliya
3 Maratea, Marco
3 Redl, Christoph
2 Arias, Joaquin
2 Banbara, Mutsunori
2 Carro, Manuel
2 de Cat, Broes
2 Fink, Michael
2 Gupta, Gopal K.
2 Järvisalo, Matti
2 Kaminski, Roland
2 Krennwallner, Thomas
2 Niemelä, Ilkka N. F.
2 Oikarinen, Emilia
2 Ricca, Francesco
2 Schellhorn, Sebastian
2 Schüller, Peter
2 Truszczyński, Mirosław
2 Walsh, Toby
2 Wanko, Philipp
1 Alviano, Mario
1 Aziz, Rehan Abdul
1 Bartholomew, Michael
1 Béatrix, Christopher
1 Bertolucci, Riccardo
1 Bogaerts, Bart
1 Bruynooghe, Maurice
1 Capitanelli, Alessio
1 Chu, Geoffrey
1 Cuteri, Bernardo
1 De Wulf, Wolf
1 Frioux, Clémence
1 Garcia, Laurent
1 Giordano, Laura
1 Ianni, Giovambattista
1 Inoue, Katsumi
1 Kaminski, Tobias
1 Leblanc, Emily C.
1 Lee, Joohyung
1 Lefèvre, Claire
1 Leone, Nicola
1 Lin, Fangzhen
1 Liu, Xudong
1 Magazzeni, Daniele
1 Marple, Kyle
1 Martelli, Alberto
1 Mastrogiovanni, Fulvio
1 Peano, Andrea
1 Salazar, Elmer
1 Siegel, Anne
1 Soh, Takehide
1 Spiotta, Matteo
1 Stéphan, Igor
1 Stuckey, Peter James
1 Tamura, Naoyuki
1 Theseider Dupré, Daniele
1 Törmä, Seppo
1 Vallati, Mauro
1 Wang, Yisong
1 Weise, Matthias
1 You, Jia-Huai
1 Yuan, Li Yan
1 Zhang, Mingyi

Cited in 3 Serials

19 Theory and Practice of Logic Programming
6 Artificial Intelligence
1 Annals of Mathematics and Artificial Intelligence

Cited in 4 Fields

39 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year