• MetiTarski

  • Referenced in 52 articles [sw00573]
  • deleting literals that are inconsistent with other algebraic facts, while deleting as redundant clauses that...
  • QRATPre+

  • Referenced in 5 articles [sw41096]
  • PCNF, or universal literals from clauses. It implements redundancy checking based on the QRAT+ proof...
  • ASPTools

  • Referenced in 3 articles [sw33089]
  • generate random planar graphs; redr: check the redundancy of individual rules in a ground logic ... instance as a logic program; shuffle: scramble literals in rules and rules in a program...
  • daTac

  • Referenced in 3 articles [sw26325]
  • Deduction Steps: two strategies for selecting terms, literals and clauses are proposed, the ordering ... implemented in daTac [Vig94]. Elimination of Redundant Information: several strategies for eliminating redundant information have...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • SYMMGRP

  • Referenced in 120 articles [sw01066]
  • SYMMGRP.MAX and other symbolic programs for Lie symmetry...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • zChaff

  • Referenced in 37 articles [sw04757]
  • zChaff is an implementation of the well known...
  • SAS

  • Referenced in 1552 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Chaff

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

  • Referenced in 75 articles [sw07091]
  • Lingeling, plingeling, picosat and precosat at sat race...
  • PicoSAT

  • Referenced in 83 articles [sw07092]
  • PicoSAT essentials. We describe and evaluate optimized compact...
  • PrecoSAT

  • Referenced in 21 articles [sw07832]
  • PrecoSAT uses an MIT style license. In essence...
  • Glucose

  • Referenced in 47 articles [sw07833]
  • The Glucose SAT Solver. Glucose is based on...
  • versat

  • Referenced in 10 articles [sw08417]
  • versat: A verified modern SAT solver. This paper...
  • Bloqqer

  • Referenced in 30 articles [sw09578]
  • Blocked clause elimination for QBF. Quantified Boolean formulas...