Home » Publication » 24235

Dettaglio pubblicazione

2022, Lecture Notes in Networks and Systems, Pages 98-107 (volume: 327)

Non-isomorphic CNF Generation (04b Atto di convegno in volume)

Fantozzi P., Laura L., Nanni U., Villa A.

DOI: 10.1007/978-3-030-86261-9_10
ISBN: 978-3-030-86260-2...
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma