Mayer-Eichberger. "Modelling Satisfiability Problems: Theory and Practice." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Mayer-Eichberger. "Modelling Satisfiability Problems: Theory and Practice." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/mayereichberger2016ijcai-modelling/)
BibTeX
@inproceedings{mayereichberger2016ijcai-modelling,
title = {{Modelling Satisfiability Problems: Theory and Practice}},
author = {Mayer-Eichberger, Valentin},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {4012-4013},
url = {https://mlanthology.org/ijcai/2016/mayereichberger2016ijcai-modelling/}
}