Systematic and local search algorithms for regular-SAT 

    Béjar Torres, Ramón (Fecha de defensa: 2000-12-21)