A declarative approach to robust weighted Max-SAT | Publicación