# PRO2SAT: Systematic Probabilistic Satisfiability logic in Discrete Hopfield Neural Network

> Research article (Advances in Engineering Software, 2022) · cited 28× · AI/ML

**Wikidata**: [openalex:W4309598622](https://www.wikidata.org/wiki/openalex:W4309598622)  
**Source**: https://4ort.xyz/entity/pro2sat-systematic-probabilistic-satisfiability-logic-in-discrete-hopfield-neural-network