@misc{indiciaed617ad924ed1,
  title = {Computing maximal autarkies with few and simple oracle queries},
  author = {Oliver Kullmann and Joao Marques-Silva},
  year = {2015},
  doi = {10.1007/978-3-319-24318-4\_11},
  url = {https://arxiv.org/abs/1505.02371},
  note = {Source identifier: 1505.02371}
}