@article{differentiablesatisfiabilityand,
  title = {Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization},
  author = {Matthias Nickles},
  year = {2018},
  eprint = {1812.11948},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1812.11948v1},
}