<title>A one-step algorithm for finding the optimum solution of the state justification problem in RTL designs using MILP</title> | Publicación