Results 1 to 20 of 35
Sort by:

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