• knitr

  • Referenced in 66 articles [sw11224]
  • knitr: A General-Purpose Package for Dynamic Report...
  • Treengeling

  • Referenced in 57 articles [sw13314]
  • Lingeling, Plingeling and Treengeling: Lingeling and its parallel...
  • satUZK

  • Referenced in 4 articles [sw18570]
  • SATUZK: solver description. satUZK is a conflict-driven...
  • SAS/STAT

  • Referenced in 438 articles [sw18788]
  • SAS/STAT software, a component of the SAS System...
  • Datalog

  • Referenced in 292 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • Syrup

  • Referenced in 6 articles [sw25919]
  • A distributed version of Syrup. A portfolio SAT...
  • QUICKXPLAIN

  • Referenced in 32 articles [sw28625]
  • QUICKXPLAIN: preferred explanations and relaxations for over-constrained...
  • YalSAT

  • Referenced in 25 articles [sw31644]
  • YalSAT Yet Another Local Search Solver. Around 2012...
  • CaDiCaL

  • Referenced in 24 articles [sw31645]
  • CaDiCaL Simplified Satisfiability Solver: The goal of CaDiCaL...