Tesis doctoral

  1. Sat-based approaches for constraint optimization 2016

    Universitat de Lleida