Gocht et al. "Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/716
Markdown
[Gocht et al. "Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/gocht2023ijcai-certified/) doi:10.24963/IJCAI.2023/716
BibTeX
@inproceedings{gocht2023ijcai-certified,
title = {{Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)}},
author = {Gocht, Stephan and Martins, Ruben and Nordström, Jakob and Oertel, Andy},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2023},
pages = {6436-6441},
doi = {10.24963/IJCAI.2023/716},
url = {https://mlanthology.org/ijcai/2023/gocht2023ijcai-certified/}
}