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]
Abstract is missing.