Tarik Hadzic

Computational Logic and Algorithms Group , IT University of Copenhagen , Rued Langgaards Vej 7 , DK-2300 Copenhagen S , Denmark

1 paper in the IJCAI proceedings

IJCAI 2007