Results 41 to 60 of 72
Sort by:

  • 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...