@misc{indiciae4db0f07bd2eb,
  title = {Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization},
  author = {Matthias Nickles},
  year = {2018},
  url = {https://arxiv.org/abs/1812.11948},
  note = {Source identifier: 1812.11948}
}