Anytime Cooperative Implicit Hitting Set Solving | Publicación