Samira Sadaoui, Ph.D Associate Professor
E-Mail: sadaouis AT uregina (dot) ca
· Constraint Programming
· Boolean Satisfiability
Department of Computer Science
University of Regina