Author:Nikolaj Bjorner

Publications
EasyChair Preprint no. 10000

Keyphrases

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