Felipe S. Marques, Osvaldo Martinello, Renato P. Ribas, André Inácio Reis. Improvements on the detection of false paths by using unateness and satisfiability. In João Antonio Martino, Guido Araujo, Alex Orailoglu, Felipe Klein, editors, Proceedings of the 23rd Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2010, São Paulo, Brazil, September 6-9, 2010. pages 192-197, ACM, 2010. [doi]
Abstract is missing.