Back to the 2004 catalog

PhD · 2004

Finnegan Southey

Augmenting Local Search for Satisfiability

Year

2004

Academic unit

Computer Science

Surname

Southey

Supervisor

Dale Schuurmans