Publicacions en col·laboració amb investigadors/es de University of Iowa (1)

2019

  1. Incomplete smt techniques for solving non-linear formulas over the integers

    ACM Transactions on Computational Logic, Vol. 20, Núm. 4