Weimin Ye

Doctor of Philosophy
Study Completed: 2026
College of Sciences

Citation

Thesis Title
Semantically Meaningful Sample Databases for Constraint Verification

Supervisors
Dr Henning Koehler
Professor Hans Guesgen