• MiniSat

  • Referenced in 565 articles [sw00577]
  • crafted” categories of the SAT 2005 competition...
  • SATzilla

  • Referenced in 99 articles [sw06281]
  • constructing per-instance algorithm portfolios for SAT that use so-called empirical hardness models ... instances solved, or score in a competition). The excellent performance of SATzilla ... independently verified in the 2007 SAT Competition, where our SATzilla07 solvers won three gold ... including instances from the most recent SAT competition...
  • Yices

  • Referenced in 154 articles [sw04436]
  • dually, unsat cores) and is competitive as an ordinary SAT and MaxSAT solver...
  • YalSAT

  • Referenced in 25 articles [sw31644]
  • crafted track of the SAT competition. In particular ideas around ProbSAT showed that local search ... competitive on certain hard satisfiable but non-random instances using a simple and beautiful variant ... cube-and-conquer algorithm. In the SAT competition 2017 it actually turned out that YalSAT ... random track in the SAT competition 2016 was missing...
  • zChaff

  • Referenced in 37 articles [sw04757]
  • handmade benchmark categories in the SAT 2002 Competition, and the Best Complete Solver ... industrial benchmark in the SAT 2004 Competition. It is a popular solver...
  • Treengeling

  • Referenced in 51 articles [sw13314]
  • tracks (out of 11) of the SAT’14 Competition and thus won 4 Gödel medals...
  • PrecoSAT

  • Referenced in 21 articles [sw07832]
  • system description for the SAT’09 SAT Competition. SAT is the classical NP complete problem...
  • CCASat

  • Referenced in 12 articles [sw12924]
  • outperforms TNM, the winner of SAT Competition 2009. par However, the CC strategy ... compete with Sparrow2011, which won SAT Competition 2011 just after Swcc had been designed ... performance on random 3-SAT instances and crafted ones. par The third contribution concerns improving...
  • RSat

  • Referenced in 22 articles [sw13117]
  • RSat won gold medals from the SAT’07 competition in the industrial category. The previous ... RSat also won the third place in SAT-Race 2006. RSat is developed...
  • HordeSat

  • Referenced in 14 articles [sw16712]
  • International SAT Competitions. The experiments demonstrate that HordeSat is scalable up to hundreds or even...
  • GridSAT

  • Referenced in 14 articles [sw01961]
  • performance general solvers on the annual SAT competition performance benchmarks...
  • Quantor

  • Referenced in 22 articles [sw28381]
  • submitted to the SAT’04 SAT Solver Competition. This application is described in more detail...
  • SAT competition

  • Referenced in 8 articles [sw04623]
  • international SAT Competitions web page. The purpose of the competition is to identify new challenging ... solvers for the propositional satisfiability problem (SAT) as well as to compare them with state ... solvers. We strongly encourage people thinking about SAT-based techniques in their area (planning, hardware ... such approach. The competition will be completely automated using the SAT-Ex system...
  • PaMiraXT

  • Referenced in 11 articles [sw06997]
  • industrial benchmarks of the 2007 SAT competition...
  • aspeed

  • Referenced in 10 articles [sw27492]
  • performance in the 2011 Satisfiability Testing (SAT) Competition. Inspired by this, we take advantage...
  • c-sat

  • Referenced in 8 articles [sw00168]
  • large-scale problems from SAT Competition and two SAT-Races...
  • MapleCOMSPS

  • Referenced in 7 articles [sw31642]
  • heuristics. MapleCOMSPS won 1st in the SAT Competition 2016 Main track...
  • March_eq

  • Referenced in 13 articles [sw00548]
  • look-ahead architecture for satisfiability (Sat) solvers more competitive. Our contribution consists of reduction...