TY - RPRT TI - Computing maximal autarkies with few and simple oracle queries AU - Oliver Kullmann AU - Joao Marques-Silva PY - 2015 DO - 10.1007/978-3-319-24318-4_11 UR - https://arxiv.org/abs/1505.02371 ID - 1505.02371 ER -