Publications in collaboration with researchers from University of Iowa (2)

2019

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

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

2013

  1. 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