TY  - RPRT
TI  - Solving satisfiability by Bayesian inference
AU  - Michel Feldmann
PY  - 2020
UR  - https://arxiv.org/abs/1205.6658
ID  - 1205.6658
ER  -