ML Anthology

Relevance for SAT(ID)

Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
IJCAI 2016 pp. 596-602
/ijcai/2016/jansen2016ijcai-relevance/
IJCAI Semantic Scholar

Cite

Text

Jansen et al. "Relevance for SAT(ID)." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Jansen et al. "Relevance for SAT(ID)." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/jansen2016ijcai-relevance/)

BibTeX

@inproceedings{jansen2016ijcai-relevance,
  title     = {{Relevance for SAT(ID)}},
  author    = {Jansen, Joachim and Bogaerts, Bart and Devriendt, Jo and Janssens, Gerda and Denecker, Marc},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {596-602},
  url       = {https://mlanthology.org/ijcai/2016/jansen2016ijcai-relevance/}
}