Date of Award | 21 Dec 2000 |
---|---|
Original language | Undefined/Unknown |
Supervisor | Felip Manyà Serres (Director) & Xavier Binefa Valls (Tutor) |
Systematic and local search algorithms for regular-sat
Student thesis: Doctoral thesis