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

Alexander Ivrii Ziv Nevo Jason Baumgartner

Published in: FMCAD (2018)

Keyphrases

computational complexity
optimization problems
data structure
significant improvement
theoretical analysis
orders of magnitude
neural network
genetic algorithm
knowledge base
image segmentation
benchmark datasets
data mining algorithms
times faster
recently developed
convergence rate