k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms.

Alexander Ivrii, Ziv Nevo, Jason Baumgartner

Browse the full FMCAD paper archive.