• PSAT

  • Referenced in 10 articles [sw07385]
  • Power System Analysis Toolbox (PSAT) is a Matlab toolbox for electric power system analysis ... simulation. The command line version of PSAT is also GNU Octave compatible. All operations ... user-friendly tool for network design. PSAT is ditributed under the General Public License ... comes with no warranty conditions. The latest PSAT version can be downloaded here. The main...
  • Pronto

  • Referenced in 3 articles [sw14757]
  • describe in detail the novel probabilistic satisfiability (PSAT) algorithm which lies at the heart ... difference from previously developed (propositional) PSAT algorithms is its interaction with the underlying DL reasoner ... known linear programming techniques to non-propositional PSAT and, second, is crucial to scaling with ... randomly generated instances of non-propositional PSAT...
  • delSAT

  • Referenced in 0 articles [sw30940]
  • clauses annotated with probabilities) and satisfiable PSAT problems, for distribution-aware model sampling...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Chaff

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

  • Referenced in 3 articles [sw09733]
  • MSUnCore - Maximum Satisfiability with UNsatisfiable COREs. MSUnCore is...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • BLOG: probabilistic models with unknown objects. This paper...
  • GenPSAT

  • Referenced in 4 articles [sw24009]
  • Generalized probabilistic satisfiability. We analyze a generalized probabilistic...
  • LIPSAT

  • Referenced in 6 articles [sw28633]
  • Probably half true: probabilistic satisfiability over Łukasiewicz infinitely...
  • BRECCIA

  • Referenced in 1 article [sw31708]
  • BRECCIA: A novel multi-source fusion framework for...