• Chaff

  • Referenced in 591 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • ProbLog

  • Referenced in 102 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...
  • CP-logic

  • Referenced in 19 articles [sw06947]
  • CP-logic: A language of causal probabilistic events...
  • Potassco

  • Referenced in 79 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • LISP

  • Referenced in 127 articles [sw07201]
  • Lisp (historically, LISP) is a family of computer...
  • Glucose

  • Referenced in 48 articles [sw07833]
  • The Glucose SAT Solver. Glucose is based on...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming...
  • Polyp

  • Referenced in 33 articles [sw09131]
  • PolyP — a polytypic programming language extension. Many functions...
  • iPiano

  • Referenced in 68 articles [sw09623]
  • iPiano: inertial proximal algorithm for nonconvex optimization. In...
  • LEGO

  • Referenced in 108 articles [sw09685]
  • LEGO is an interactive proof development system (proof...
  • Agda

  • Referenced in 207 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • Clingo

  • Referenced in 104 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • ComputeTW

  • Referenced in 53 articles [sw11360]
  • ComputeTW - An interactive platform for computing Treewidth of...
  • Pesca

  • Referenced in 164 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...
  • Python

  • Referenced in 2164 articles [sw14460]
  • Python is a widely used high-level, general...
  • TensorFlow

  • Referenced in 653 articles [sw15170]
  • TensorFlow™ is an open source software library for...
  • Protege

  • Referenced in 60 articles [sw17512]
  • Protégé is a free, open source ontology editor...
  • Datalog

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

  • Referenced in 695 articles [sw21105]
  • ImageNet is an image dataset organized according to...