Systematic and local search algorithms for regular-sat

    Tesis doctoral

    Fecha de lectura21 dic 2000
    Idioma originalIndefinido/desconocido
    SupervisorFelip Manyà Serres (Director/a) & Xavier Binefa Valls (Tutor/a)

    Citar esto

    '