The analysis of cyclic circuits with Boolean satisfiability | IEEE Conference Publication | IEEE Xplore