Problem solving with SAT oracles | Publicación