Soeken, Mathias <br/><br/>
Boolean satisfiability in quantum compilation.  [electronic resource] 

 -  Philosophical transactions. Series A, Mathematical, physical, and engineering sciences  Feb 2020 
 - 20190161 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>1471-2962 
<br/><br/><label>Standard No.: </label>10.1098/rsta.2019.0161  doi