A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Domenico Cantone' in GoogleThis author has not been identified. Look up 'Andrea De Domenico' in GoogleThis author has not been identified. Look up 'Pietro Maugeri' in GoogleThis author has not been identified. Look up 'Eugenio G. Omodeo' in Google

runs on WebDSL