@article{HaubeltNeubauerSchaubetal.2018,
  author    = {Christian Haubelt and Kai Neubauer and Torsten H. Schaub and Philipp Wanko},
  title     = {Design space exploration with answer set programming},
  journal   = {K{\"u}nstliche Intelligenz},
  volume    = {32},
  number    = {2-3},
  pages     = {205 -- 206},
  doi       = {10.1007/s13218-018-0530-3},
  year      = {2018},
}