Alexandra Goultiaeva

I have completed my PhD at University of Toronto supervised by Fahiem Bacchus.

My PhD work revolved around different forms of Constraint Satisfaction. My thesis is on various improvements to QBF solving.

My CV is here.

My PhD Thesis is on Exploiting Problem Structure in QBF Solving .

For any research related questions, contact me at alexia at cs dot toronto dot edu. I'm always happy to discuss my work or provide help to those using my tools.

View .Alexandra.. Goultiaeva..'s profile on LinkedIn

Software

Teaching

Summer 2012 - CSC 165

Links

Fahiem's Reading Group