Navigating the Universe of Z3 Theory Solvers.

Nikolaj Bjørner Lev Nachmanson

Published in: SBMF (2020)

Keyphrases

theoretical framework
theoretical foundation
general theory
databases
three dimensional
theoretical basis
artificial intelligence
search engine
knowledge base
video sequences
rough sets