Author:Nikolaj Bjorner

Publications
Model Based Interpolation for Uninterpreted Functions and Integer Linear Arithmetic Nikolaj Bjorner, Arie Gurfinkel, Sharon Shoham and Yakir Vizel EasyChair Preprint no. 10000
Theorem recycling for Theorem Proving Nikolaj Bjorner and Lev Nachmanson In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Abduction for Learning Smart City Rules Nikolaj Bjorner, Maria-Cristina Marinescu and Mooly Sagiv In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Abduction by Non-Experts Nikolaj Bjorner, Dejan Jovanović, Tancrède Lepoint, Philipp Rümmer and Martin Schäf In:IWIL Workshop and LPAR Short Presentations
AVATAR Modulo Theories Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Playing with Quantified Satisfaction Nikolaj Bjorner and Mikolas Janota In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
On Conflicts and Strategies in QBF Nikolaj Bjorner, Mikolas Janota and William Klieber In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
νZ - Maximal Satisfaction with Z3 Nikolaj Bjorner and Anh-Dung Phan In:SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science
Effectively Monadic Predicates Margus Veanes, Nikolaj Bjorner, Lev Nachmanson and Sergey Bereg In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Instantiations, Zippers and EPR Interpolation Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Engineering Theories with Z3 Nikolaj Bjorner In:IWIL 2012. The 9th International Workshop on the Implementation of Logics
Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan, Nikolaj Bjorner and David Monniaux In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
SMT-LIB Sequences and Regular Expressions Nikolaj Bjorner, Vijay Ganesh, Raphaël Michel and Margus Veanes In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Program Verification as Satisfiability Modulo Theories Nikolaj Bjorner, Kenneth L. McMillan and Andrey Rybalchenko In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
WING 2010. Workshop on Invariant Generation 2010 Andrei Voronkov, Laura Kovács and Nikolaj Bjorner (editors) EPiC Series in Computing, volume 1
Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura and Nikolaj Bjorner In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

abduction, arithmetic², automated reasoning, automated theorem proving, conflict analysis, Crowdsourcing, decision procedure, EPR, first-order logic, Horn solving, interpolation², monadic decomposition, Monadic predicates, Ontologies, Presburger arithmetic, program verification, QBF², quantification, quantifier elimination², regular expressions, Satisfiability Modulo Theories², Smart Cities, SMT⁷, SMT-LIB, strategies, strings, symbolic automata, symbolic model checking, theorem proving², theories, Uninterpreted Functions, Vampire, Z3.