Informática
Fakultatea
University of Iowa
Iowa City, Estados UnidosUniversity of Iowa-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
2019
-
Incomplete smt techniques for solving non-linear formulas over the integers
ACM Transactions on Computational Logic, Vol. 20, Núm. 4
2013
-
The travelling salesman problem with time windows: Adapting algorithms from travel-time to makespan optimization
Applied Soft Computing Journal, Vol. 13, Núm. 9, pp. 3806-3815