Multiplexer model for RTL satisfiability using MILP | Publicación