共 57 条
[13]
Cowtan A, 2019, Arxiv, DOI arXiv:1902.08091
[14]
Z3: An efficient SMT solver
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS,
2008, 4963
:337-340
[15]
Deb A, 2020, DES AUT TEST EUROPE, P682, DOI 10.23919/DATE48585.2020.9116507
[17]
Farhi E, 2014, Arxiv, DOI arXiv:1411.4028
[18]
Glover F, 2019, Arxiv, DOI [arXiv:1811.11538, 10.48550/arXiv.1811.11538]
[19]
Google Quantum AI, 2021, QUANT COMP DAT
[20]
Hardware Acceleration of Long Read Pairwise Overlapping in Genome Sequencing: A Race Between FPGA and GPU
[J].
2019 27TH IEEE ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM),
2019,
:127-135