Efficient Model Based Diagnosis with Maximum Satisfiability

Cite

Text

Marques-Silva et al. "Efficient Model Based Diagnosis with Maximum Satisfiability." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Marques-Silva et al. "Efficient Model Based Diagnosis with Maximum Satisfiability." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/marquessilva2015ijcai-efficient/)

BibTeX

@inproceedings{marquessilva2015ijcai-efficient,
  title     = {{Efficient Model Based Diagnosis with Maximum Satisfiability}},
  author    = {Marques-Silva, João and Janota, Mikolás and Ignatiev, Alexey and Morgado, António},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1966-1972},
  url       = {https://mlanthology.org/ijcai/2015/marquessilva2015ijcai-efficient/}
}