A Direct Algorithm for Multi-valued Bounded Model Checking.

Jefferson O. Andrade Yukiyoshi Kameyama

Published in: ATVA (2008)

Keyphrases

multi valued
search space
cooperative
optimal solution
np hard
worst case
computer vision
three dimensional