ML Anthology

From Width-Based Model Checking to Width-Based Automated Theorem Proving

Mateus de Oliveira Oliveira, Farhad Vadiee
AAAI 2023 pp. 6297-6304
doi:10.1609/AAAI.V37I5.25775 /aaai/2023/deoliveiraoliveira2023aaai-width/
AAAI Semantic Scholar

Cite

Text

de Oliveira Oliveira and Vadiee. "From Width-Based Model Checking to Width-Based Automated Theorem Proving." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I5.25775

Markdown

[de Oliveira Oliveira and Vadiee. "From Width-Based Model Checking to Width-Based Automated Theorem Proving." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/deoliveiraoliveira2023aaai-width/) doi:10.1609/AAAI.V37I5.25775

BibTeX

@inproceedings{deoliveiraoliveira2023aaai-width,
  title     = {{From Width-Based Model Checking to Width-Based Automated Theorem Proving}},
  author    = {de Oliveira Oliveira, Mateus and Vadiee, Farhad},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6297-6304},
  doi       = {10.1609/AAAI.V37I5.25775},
  url       = {https://mlanthology.org/aaai/2023/deoliveiraoliveira2023aaai-width/}
}