Glucose

The Glucose SAT Solver. Glucose is based on a new scoring scheme (well, not so new now, it was introduced in 2009) for the clause learning mechanism of so called ”Modern” SAT sovlers (it is based our IJCAI’09 paper). This page summarizes the techniques embedded in the competition 09 version of glucose. Solver’s name is a contraction of the concept of ”glue clauses”, a particular kind of clauses that glucose detects and preserves during search. Glucose is heavily based on Minisat, so please do cite Minisat also if you want to cite Glucose


References in zbMATH (referenced in 26 articles )

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

1 2 next

  1. Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: PySAT: A Python toolkit for prototyping with SAT oracles (2018)
  2. Balko, Martin; Valtr, Pavel: A SAT attack on the Erd\Hos-Szekeres conjecture (2017)
  3. Devriendt, Jo; Bogaerts, Bart; Bruynooghe, Maurice: Symmetric explanation learning: effective dynamic symmetry handling for SAT (2017)
  4. Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas: Conformant planning as a case study of incremental QBF solving (2017)
  5. Liang, Jia Hui; Hari Govind, V. K.; Poupart, Pascal; Czarnecki, Krzysztof; Ganesh, Vijay: An empirical study of branching heuristics through the lens of global learning rate (2017)
  6. Lindauer, Marius; Hoos, Holger; Leyton-Brown, Kevin; Schaub, Torsten: Automatic construction of parallel portfolios via algorithm configuration (2017)
  7. Nejati, Saeed; Newsham, Zack; Scott, Joseph; Liang, Jia Hui; Gebotys, Catherine; Poupart, Pascal; Ganesh, Vijay: A propagation rate based splitting heuristic for divide-and-conquer solvers (2017)
  8. Surynek, Pavel: Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems (2017)
  9. Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)
  10. Audemard, Gilles; Simon, Laurent: Extreme cases in SAT problems (2016)
  11. Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten: SAT race 2015 (2016)
  12. Itzhakov, Avraham; Codish, Michael: Breaking symmetries in graph search with canonizing sets (2016)
  13. Liang, Jia Hui; Ganesh, Vijay; Poupart, Pascal; Czarnecki, Krzysztof: Learning rate based branching heuristic for SAT solvers (2016)
  14. Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti: Pakota: a system for enforcement in abstract argumentation (2016)
  15. Balko, Martin; Valtr, Pavel: A SAT attack on the Erd\Hos-Szekeres conjecture (2015)
  16. Biere, Armin; Fröhlich, Andreas: Evaluating CDCL variable scoring schemes (2015)
  17. Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao: SAT-based formula simplification (2015)
  18. Konev, Boris; Lisitsa, Alexei: Computer-aided proof of Erd\Hosdiscrepancy properties (2015)
  19. Lonsing, Florian; Egly, Uwe: Incrementally computing minimal unsatisfiable cores of QBFs via a clause group solver API (2015)
  20. Mencía, Carlos; Previti, Alessandro; Marques-Silva, Joao: SAT-based Horn least upper bounds (2015)

1 2 next