Publications @TechReport{QuantumSAT2019, AUTHOR = {Rende, Riccardo and Plastina, Francesco and Mastroianni, Carlo}, TITLE = {Quantum Algorithm for the Boolean Satisfiability Problem}, YEAR = {2019}, MONTH = {October}, NUMBER = {6}, INSTITUTION = {ICAR-CNR}, URL = {http://www.icar.cnr.it/tr/2019/}, PDF = {http://www.icar.cnr.it/tr/2019/06} }