@InProceedings{Boussemart-etal:2004b,
  author = 	 {F. Boussemart and F. Hemery and C. Lecoutre and L. Sais},
  title = 	 {Boosting systematic search by weighting constraints},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence (ECAI'04)},
  pages = 	 {482--486},
  year = 	 {2004},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Valencia, Spain},
  month = 	 {August},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}