Domenico Cantone, Pietro Maugeri. Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 261-273, CEUR-WS.org, 2019. [doi]
@inproceedings{CantoneM19, title = {Polynomial-Time Satisfiability Tests for 'Small' Membership Theories}, author = {Domenico Cantone and Pietro Maugeri}, year = {2019}, url = {http://ceur-ws.org/Vol-2504/paper29.pdf}, researchr = {https://researchr.org/publication/CantoneM19}, cites = {0}, citedby = {0}, pages = {261-273}, booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019}, editor = {Alessandra Cherubini and Nicoletta Sabadini and Simone Tini}, volume = {2504}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }