@inproceedings{456639,
  author = "Devriendt, Jo and Bogaerts, Bart and Bruynooghe, Maurice",
  title = "Break{IDG}lucose: {O}n the importance of row symmetry in {SAT}",
  booktitle = "CSPSAT, Vienna, 18 July 2014",
  pages = "1--17",
  month = Jul,
  year = "2014",
  url = "https://lirias.kuleuven.be/handle/123456789/456639",
}