GenPSAT

MaRDI QIDQ35770swMATHFDO

Official website https://github.com/fcasal/genpsat

Source code repository https://github.com/fcasal/genpsat

Described by source

• Generalized probabilistic satisfiability

Cited in

(5)

• LIRA
• BRECCIA
• Probabilistic logic over equations and domain restrictions
• Probabilistic sentence satisfiability: an approach to PSAT
• Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities

This page was built for software: GenPSAT