%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Marco Benedetti at 2007-01-14 11:25:55 +0100 


%% Saved with string encoding Western (ASCII) 



@inproceedings{BLV07,
	Author = {M. Benedetti and A. Lallouet and J. Vautard},
	Booktitle = {Proc. of 10th International Joint Conference on Artificial Intelligence (IJCAI07)},
	Date-Modified = {2007-01-14 11:25:55 +0100},
	Title = {{QCSP made Practical by Virtue of Restricted Quantification}},
	Year = {2007}}