GenPSAT

swMATH24009MaRDI QIDQ35770FDOQ35770

Author name not available (Why is that?)

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

Described by source

• Generalized probabilistic satisfiability

Cited In (3)

• 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