Complementary Approaches to Constraint Satisfaction

Home Members Publications Software downloads Work Progress

Project Members


Project leader

Georg Gottlob



Assistant project leader

Nysret Musliu



Post doc

Marko Samer



PhD student

Zoltan Miklos



Master students

Artan Dermaku

Werner Schafhauser




Guest researchers

Tobias Ganzow

Vladimir Gurvich

Thomas Schwentick




Oxford University, Computing Laboratory, Applications and Algorithms Group

University of Calabria - Francesco Scarcello

Martin Grohe

Ben McMahan

Stefan Szeider




2006 Database and Artificial Intelligence Group, Vienna University of Technology