TY - RPRT TI - Reducing a Target Interval to a Few Exact Queries AU - Jesper Nederlof AU - Erik Jan van Leeuwen AU - Ruben van der Zwaan PY - 2012 UR - https://arxiv.org/abs/1208.4225 ID - 1208.4225 ER -