Login / Signup
João Marcos Vensi Basso
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Propositional Satisfiability
Clause Learning Sat Solvers
Search Tree
Sat Solvers
Top Venues
CoRR
</>
Publications
</>
Michele Mosca
,
João Marcos Vensi Basso
,
Sebastian R. Verschoor
On speeding up factoring with quantum SAT solvers.
CoRR
(2019)