Scheduling through logic-based tools | Publicación