University of Iowa-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2019

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

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