Systematic and local search algorithms for regular-sat

    Tesi d’estudis: Tesi doctoral

    Data del Ajut21 de des. 2000
    Idioma originalNo s'ha definit/desconegut
    SupervisorFelip Manyà Serres (Director/a) & Xavier Binefa Valls (Tutor/a)

    Com citar-ho

    '