Nondeterministic AND-EXOR minimisation by using rewrite rules and simulated annealing | Publicación