ML Anthology

A Decision Procedure for (Co)datatypes in SMT Solvers

Andrew Reynolds, Jasmin Christian Blanchette
IJCAI 2016 pp. 4205-4209
/ijcai/2016/reynolds2016ijcai-decision/
IJCAI Semantic Scholar

Cite

Text

Reynolds and Blanchette. "A Decision Procedure for (Co)datatypes in SMT Solvers." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Reynolds and Blanchette. "A Decision Procedure for (Co)datatypes in SMT Solvers." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/reynolds2016ijcai-decision/)

BibTeX

@inproceedings{reynolds2016ijcai-decision,
  title     = {{A Decision Procedure for (Co)datatypes in SMT Solvers}},
  author    = {Reynolds, Andrew and Blanchette, Jasmin Christian},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {4205-4209},
  url       = {https://mlanthology.org/ijcai/2016/reynolds2016ijcai-decision/}
}