Sugar

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.


References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Ghiduk, Ahmed S.: Automatic generation of basis test paths using variable length genetic algorithm (2014)
  2. Stojadinović, Mirko; Marić, Filip: meSAT: multiple encodings of CSP to SAT (2014)
  3. Bofill, Miquel; Palahí, Miquel; Suy, Josep; Villaret, Mateu: Solving constraint satisfaction problems with SAT modulo theories (2012)
  4. Codish, Michael; Giesl, Jürgen; Schneider-Kamp, Peter; Thiemann, René: SAT solving for termination proofs with recursive path orders and dependency pairs (2012)
  5. Janičić, Predrag: URSA: a system for uniform reduction to SAT (2012)
  6. Schockaert, Steven; Janssen, Jeroen; Vermeir, Dirk: Satisfiability checking in \Lukasiewiczlogic as finite constraint satisfaction (2012)
  7. Tanjo, Tomoya; Tamura, Naoyuki; Banbara, Mutsunori: A compact and efficient SAT-encoding of finite domain CSP (2011)
  8. Drescher, Christian: Constraint answer set programming systems (2010)
  9. Lecoutre, Christophe; Roussel, Olivier; van Dongen, M.R.C.: Promoting robust black-box solvers through competitions (2010)
  10. Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael: Propagation via lazy clause generation (2009)
  11. Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori: Compiling finite linear CSP into SAT (2009)
  12. Andresen, Michael; Bräsel, Heidemarie; Mörig, Marc; Tusch, Jan; Werner, Frank; Willenius, Per: Simulated annealing and genetic algorithms for minimizing mean flow time in an open shop (2008)
  13. Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori: Compiling finite linear CSP into SAT (2006)


Further publications can be found at: http://bach.istc.kobe-u.ac.jp/sugar/#sec-8