Title
Solving Satisfiability Problem on Quantum Annealer: A Lesson from FPGA CAD Tools: (Abstract Only).
Abstract
Recently, a practical quantum annealing device has been commercialized by D-Wave Systems, sparking research interest in developing applications to solve problems that are intractable for classical computer. This paper provides a tutorial for using quantum annealer to solve Boolean satisfiability problem. We explain the computational model of quantum annealer and discuss the detailed mapping technique inspired by FPGA CAD flow, including stages such as logic optimization, placement and routing.
Year
Venue
Field
2018
FPGA
Cad tools,Quantum,Logic optimization,Computer science,Parallel computing,Boolean satisfiability problem,Field-programmable gate array,Quantum annealing,Cad flow
DocType
ISBN
Citations 
Conference
978-1-4503-5614-5
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Juexiao Su1102.10
Lei He2167.77