Yazid Boumarafi, Yakoub Salhi. On Solving Exactly-One-SAT. In 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. pages 10-17, IEEE, 2019. [doi]
@inproceedings{BoumarafiS19,
title = {On Solving Exactly-One-SAT},
author = {Yazid Boumarafi and Yakoub Salhi},
year = {2019},
doi = {10.1109/ICTAI.2019.00011},
url = {https://doi.org/10.1109/ICTAI.2019.00011},
researchr = {https://researchr.org/publication/BoumarafiS19},
cites = {0},
citedby = {0},
pages = {10-17},
booktitle = {31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019},
publisher = {IEEE},
isbn = {978-1-7281-3798-8},
}