Author:Nikolaj Bjorner

Publications

Keyphrases

abduction, arithmetic, automated reasoning, conflict analysis, Crowdsourcing, decision procedure, EPR, first-order logic, Horn solving, interpolation, monadic decomposition, Monadic predicates, Ontologies, Presburger arithmetic, program verification, QBF2, quantification, quantifier elimination2, regular expressions, Satisfiability Modulo Theories2, Smart Cities, SMT6, SMT-LIB, strategies, strings, symbolic automata, symbolic model checking, theorem proving2, theories, Vampire, Z3.