BibTeX Entry

@inproceedings{bartak.wara.2010,
  file = {wara2010.pdf},
  category = {ida-publications},
  author = {Roman Bart{\'a}k and Ond{\v r}ej Ku{\v z}elka and Filip {\v Z}elezn{\'y}},
  title = {Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem},
  booktitle = {AAAI-10 Workshop on Abstraction, Reformulation, and Approximation (WARA-2010)},
  year = {2010},
  vvvs = {1},
  projnum = {13/08012/13133},
}