TY  - RPRT
TI  - Minimal Distance of Propositional Models
AU  - Mike Behrisch
AU  - Miki Hermann
AU  - Stefan Mengel
AU  - Gernot Salzer
PY  - 2017
DO  - 10.1007/s00224-018-9896-8
UR  - https://arxiv.org/abs/1502.06761
ID  - 1502.06761
ER  -