inventor of the "Quantified Boolean Bayesian Network" https://arxiv.org/abs/2402.06557