Diogo Fernandes and Inês Dutra: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I. (2019)journals/crossroads/FernandesD1910.1145/3358251Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I.2Diogo Fernandes1Inês Dutra264-66XRDSXRDS2612019provenance information for RDF data of dblp record 'journals/crossroads/FernandesD19'2020-07-03T22:42:26+0200