Author:Jan Strejček
KeyphrasesBDD, bdd based solver, Binary Decision Diagram, bit-width, dependency quantified Boolean formula, DQBDD, DQBF, experimental evaluation, LTL to automata translation, omega-automata, quantified bit-vectors, quantifier elimination, Quantifier Localization, Satisfiability Modulo Theories, semi-deterministic automata, solver. |