• PSATO

  • Referenced in 43 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • PVM

  • Referenced in 307 articles [sw04273]
  • PVM (Parallel Virtual Machine) is a software package...
  • SATO

  • Referenced in 197 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • XtremWeb

  • Referenced in 22 articles [sw11411]
  • XtremWeb : the Open Source Platform for Desktop Grids...