Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer. Minimal Distance of Propositional Models. Theory Comput. Syst., 63(6):1131-1184, 2019. [doi]
@article{BehrischHMS19, title = {Minimal Distance of Propositional Models}, author = {Mike Behrisch and Miki Hermann and Stefan Mengel and Gernot Salzer}, year = {2019}, doi = {10.1007/s00224-018-9896-8}, url = {https://doi.org/10.1007/s00224-018-9896-8}, researchr = {https://researchr.org/publication/BehrischHMS19}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {63}, number = {6}, pages = {1131-1184}, }