An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes

Shah et al. "An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28649

[Shah et al. "An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/shah2024aaai-eager/) doi:10.1609/AAAI.V38I8.28649

@inproceedings{shah2024aaai-eager,
  title     = {{An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes}},
  author    = {Shah, Amar and Mora, Federico and Seshia, Sanjit A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {8099-8107},
  doi       = {10.1609/AAAI.V38I8.28649},
  url       = {https://mlanthology.org/aaai/2024/shah2024aaai-eager/}
}