@misc{misccbd272f7,
title   = {High-performance algorithm for Boolean function minimization: the partitioned incremental splitting of intervals (PISI)},
author = {Torres, Martha and Hirata, Nina Sumiko Tomita and Barrera, Júnior},
year = {2002},
doi = {10.1117/12.468015},
publisher = {SPIE},
booktitle   = {Image processing: algorithms and system}
}