GenPSAT

swMATH24009MaRDI QIDQ35770FDOQ35770

Author name not available (Why is that?)

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

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

Described by source

• Generalized probabilistic satisfiability

Cited In (5)

• Probabilistic logic over equations and domain restrictions
• LIRA
• BRECCIA
• 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