Aditya Grover, Tudor Achim, Stefano Ermon: Streamlining Variational Inference for Constraint Satisfaction Problems. NeurIPS 2018: 10579-10589