@misc{463884,
  author = "De Cat, Broes and Bogaerts, Bart and Denecker, Marc",
  editor = "Dovier, Agostino and Pontelli, Enrico",
  title = "Mini{SAT}({ID}) for satisfiability checking and constraint solving",
  journal = "ALP Newsletter",
  publisher = "Association for Logic Programming",
  month = Sep,
  year = "2014",
  url = "https://lirias.kuleuven.be/handle/123456789/463884",
}