Showing 1 - 2 results of 2 for search 'Roberto Sebastiani', query time: 0.02s
Refine Results
-
1
Effective prime factorization via quantum annealing by modular locally-structured embedding by Jingwen Ding, Giuseppe Spallitta, Roberto Sebastiani
Published 2024-02-01
Article -
2
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic by Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
Published 2012-08-01
Article