Computing with SAT Oracles: Past, Present and Future | Publicación