Boolean satisfiability in quantum compilation.
Soeken M, Meuli G, Schmitt B, Mozafari F, Riener H, De Micheli G.
Soeken M, et al. Among authors: de micheli g.
Philos Trans A Math Phys Eng Sci. 2020 Feb 7;378(2164):20190161. doi: 10.1098/rsta.2019.0161. Epub 2019 Dec 23.
Philos Trans A Math Phys Eng Sci. 2020.
PMID: 31865887