Systematic and local search algorithms for regular-SAT 

    Béjar Torres, Ramón (Date of defense: 2000-12-21)