Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo. A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF. In Francesco Calimeri, Simona Perri, Ester Zumpano, editors, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020. Volume 2710 of CEUR Workshop Proceedings, pages 214-230, CEUR-WS.org, 2020. [doi]
@inproceedings{CantoneDMO20,
title = {A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF},
author = {Domenico Cantone and Andrea De Domenico and Pietro Maugeri and Eugenio G. Omodeo},
year = {2020},
url = {http://ceur-ws.org/Vol-2710/paper14.pdf},
researchr = {https://researchr.org/publication/CantoneDMO20},
cites = {0},
citedby = {0},
pages = {214-230},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020},
editor = {Francesco Calimeri and Simona Perri and Ester Zumpano},
volume = {2710},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}