TY  - RPRT
TI  - Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization
AU  - Matthias Nickles
PY  - 2018
UR  - https://arxiv.org/abs/1812.11948
ID  - 1812.11948
ER  -