Author:Nikolaj Bjorner

Publications
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, 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, Vampire, Z3.