ALBERTO
RUBIO GIMENO
Catedrático de universidad
![Foto de ALBERTO](/img/nophoto.png)
![Foto de University of Iowa](/img/noimage_org.png)
University of Iowa
Iowa City, Estados UnidosPublicacions en col·laboració amb investigadors/es de University of Iowa (1)
2019
-
Incomplete smt techniques for solving non-linear formulas over the integers
ACM Transactions on Computational Logic, Vol. 20, Núm. 4