Sparrow2Riss

SAT Competition 2014 - Sparrow2Riss.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 5 articles )

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

  1. Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang: NLocalSAT: Boosting Local Search with Solution Prediction (2020) arXiv
  2. Dybizbański, Janusz: A lower bound on the hypergraph Ramsey number (R(4,5;3)) (2018)
  3. Hutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin: The configurable SAT solver challenge (CSSC) (2017)
  4. Manthey, Norbert; Lindauer, Marius: SpyBug: automated bug detection in the configuration space of SAT solvers (2016)
  5. Cai, Shaowei; Luo, Chuan; Su, Kaile: CCAnr: a configuration checking based local search solver for non-random satisfiability (2015)