ML Anthology

Using Symmetries to Lift Satisfiability Checking

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker
AAAI 2024 pp. 7961-7968
doi:10.1609/AAAI.V38I8.28633 /aaai/2024/carbonnelle2024aaai-using/
AAAI Semantic Scholar

Cite

Text

Carbonnelle et al. "Using Symmetries to Lift Satisfiability Checking." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I8.28633

Markdown

[Carbonnelle et al. "Using Symmetries to Lift Satisfiability Checking." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/carbonnelle2024aaai-using/) doi:10.1609/AAAI.V38I8.28633

BibTeX

@inproceedings{carbonnelle2024aaai-using,
  title     = {{Using Symmetries to Lift Satisfiability Checking}},
  author    = {Carbonnelle, Pierre and Schenner, Gottfried and Bruynooghe, Maurice and Bogaerts, Bart and Denecker, Marc},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {7961-7968},
  doi       = {10.1609/AAAI.V38I8.28633},
  url       = {https://mlanthology.org/aaai/2024/carbonnelle2024aaai-using/}
}