Application of Probabilistic Spin Logic (PSL) in Detecting Satisfiability of a Boolean Function.

Vaibhav Agarwal Sneh Saurabh

Published in: ISQED (2019)

Keyphrases

boolean functions
uniform distribution
probabilistic model
bayesian networks
multi valued
relevant variables
truth table
decision trees
description logics
np complete