Generalized Property Directed Reachability.

Krystof Hoder Nikolaj Bjørner

Published in: SAT (2012)

Keyphrases

set valued
desirable properties
global consistency
lipschitz continuity
real time
databases
information systems
multimedia
database systems
information technology
evolutionary algorithm
multiresolution
special case