State Encoding of Asynchronous Controllers Using Pseudo-Boolean Optimization | Publicación