Systematic and local search algorithms for regular-sat

    Student thesis: Doctoral thesis

    Date of Award21 Dec 2000
    Original languageUndefined/Unknown
    SupervisorFelip Manyà Serres (Director) & Xavier Binefa Valls (Tutor)

    Cite this

    '