Non-isomorphic CNF Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paolo Fantozzi, Luigi Laura, Umberto Nanni, Alessandro Villa. Non-isomorphic CNF Generation. In Kenji Matsui, Sigeru Omatu, Tan Yigitcanlar, Sara Rodríguez-González, editors, Distributed Computing and Artificial Intelligence, Volume 1: 18th International Conference, DCAI 2021, Salamanca, Spain, 6-8 October 2021. Volume 327 of Lecture Notes in Networks and Systems, pages 98-107, Springer, 2021. [doi]

This author has not been identified. Look up 'Paolo Fantozzi' in GoogleThis author has not been identified. Look up 'Luigi Laura' in GoogleThis author has not been identified. Look up 'Umberto Nanni' in GoogleThis author has not been identified. Look up 'Alessandro Villa' in Google

runs on WebDSL