Thèse de doctorat

  1. Max-SAT formalisms with hard and soft constraints 2008

    Universitat de Lleida