×

Sugar

swMATH ID: 9758
Software Authors: Naoyuki Tamura
Description: Sugar is a SAT-based Constraint Solver. Constraint Satisfaction Problem (CSP) is encoded to a Boolean CNF formula, and it is solved by an external SAT solver. Sugar also can solve Constraint Optimization Problems (COP) and Max-CSP. Sugar is an award winning solver of global constraint categories at the International CSP Solver Competitions in 2008 and 2009, and of four categories at the 2008 International Max-CSP Solver Competition. See the results of Sugar in CSP Solver Competitions for more details.
Homepage: http://bach.istc.kobe-u.ac.jp/sugar/
Related Software: MiniSat; MiniZinc; SATzilla; MINION; meSAT; Yices; Gecode; clasp; Azucar; Essence; z3; CSPLib; Beam-ACO; Clingcon; Chaff; Paramils; SMT-LIB; Glucose; Walksat; Gringo
Referenced in: 27 Publications
Further Publications: http://bach.istc.kobe-u.ac.jp/sugar/#sec-8
all top 5

Referenced by 78 Authors

3 Banbara, Mutsunori
2 Akgün, Özgür
2 Codish, Michael
2 Gent, Ian Philip
2 Giesl, Jürgen
2 Jefferson, Christopher
2 Kitagawa, Satoshi
2 Miguel, Ian
2 Nightingale, Peter W.
2 Schaub, Torsten H.
2 Schneider-Kamp, Peter
2 Taga, Akiko
2 Tamura, Naoyuki
2 Thiemann, René
1 Ahmadian, Mohammad Mahdi
1 Amadini, Roberto
1 Andresen, Michael
1 Aschermann, Cornelius
1 Banković, Milan
1 Bofill, Miquel
1 Bräsel, Heidemarie
1 Brock-Nannestad, Taus
1 Brockschmidt, Marc
1 Cabon, Bertrand
1 Cheng, Tai-Chiu Edwin
1 de Cat, Broes
1 Drescher, Christian
1 Emmes, Fabian
1 Frisch, Alan M.
1 Frohn, Florian
1 Fuhs, Carsten
1 Gabbrielli, Maurizio
1 Ghiduk, Ahmed S.
1 Hebrard, Emmanuel
1 Hensel, Jera
1 Heule, Marijn J. H.
1 Hoos, Holger H.
1 Huguet, Marie-José
1 Janičić, Predrag
1 Janssen, Jeroen
1 Jimbo, Masakazu
1 Kaminski, Roland
1 Kaufmann, Benjamin
1 Khatami, Mostafa
1 Lecoutre, Christophe
1 Lierler, Yuliya
1 Lindauer, Marius
1 Lu, Xiaonan
1 Marić, Filip
1 Mauro, Jacopo
1 Mishima, Miwako
1 Miyamoto, Nobuko
1 Mörig, Marc
1 Ohrimenko, Olga
1 Ostrowski, Max
1 Otto, Carsten
1 Ozolins, Ansis
1 Palahí, Miquel
1 Plücker, Martin
1 Roussel, Olivier
1 Salehipour, Amir
1 Sauvan, Ludivine Boche
1 Schockaert, Steven
1 Spracklen, Patrick
1 Stojadinović, Mirko
1 Ströder, Thomas
1 Stuckey, Peter James
1 Surynek, Pavel
1 Suy, Josep
1 Swiderski, Stephanie
1 Szeider, Stefan
1 Tusch, Jan
1 van Dongen, Marc R. C.
1 Vermeir, Dirk
1 Veysseire, Daniel
1 Villaret, Mateu
1 Werner, Frank
1 Willenius, Per

Referencing Publications by Year