Author Information
Author:Nikolaj Bjorner

Publications

AuthorsTitleVolumePDF
Leonardo de Moura and Nikolaj BjornerApplications and Challenges in Satisfiability Modulo TheoriesAndrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors). WING 2010. Workshop on Invariant Generation 2010 (EPiC Series in Computing, Volume 1)
Nikolaj Bjorner, Ken McMillan and Andrey RybalchenkoProgram Verification as Satisfiability Modulo TheoriesPascal Fontaine and Amit Goel (editors). SMT 2012. 10th International Workshop on Satisfiability Modulo Theories (EPiC Series in Computing, Volume 20)
Nikolaj Bjorner, Vijay Ganesh, Raphaël Michel and Margus VeanesSMT-LIB Sequences and Regular ExpressionsPascal Fontaine and Amit Goel (editors). SMT 2012. 10th International Workshop on Satisfiability Modulo Theories (EPiC Series in Computing, Volume 20)
Anh-Dung Phan, Nikolaj Bjorner and David MonniauxAnatomy of Alternating Quantifier Satisfiability (Work in progress)Pascal Fontaine and Amit Goel (editors). SMT 2012. 10th International Workshop on Satisfiability Modulo Theories (EPiC Series in Computing, Volume 20)
Nikolaj BjornerEngineering Theories with Z3Konstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors). IWIL 2012. The 9th International Workshop on the Implementation of Logics (EPiC Series in Computing, Volume 22)
Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori LahavInstantiations, Zippers and EPR InterpolationKen Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (EPiC Series in Computing, Volume 26)
Margus Veanes, Nikolaj Bjorner, Lev Nachmanson and Sergey BeregEffectively Monadic PredicatesKen Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (EPiC Series in Computing, Volume 26)
Nikolaj Bjorner and Anh-Dung PhanνZ - Maximal Satisfaction with Z3Temur Kutsia and Andrei Voronkov (editors). SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science (EPiC Series in Computing, Volume 30)
Nikolaj Bjorner and Mikolas JanotaPlaying with Quantified SatisfactionAnsgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations (EPiC Series in Computing, Volume 35)
Nikolaj Bjorner, Mikolas Janota and William KlieberOn Conflicts and Strategies in QBFAnsgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations (EPiC Series in Computing, Volume 35)
Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei VoronkovAVATAR Modulo TheoriesChristoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41)
Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors)WING 2010. Workshop on Invariant Generation 2010EPiC Series, Volume 1

Keyphrases

CountKeyphrase
5smt
2qbf, quantifier elimination, satisfiability modulo theories, theorem proving
1arithmetic, automated reasoning, conflict analysis, decision procedure, epr, first order logic, interpolation, monadic decomposition, monadic predicates, presburger arithmetic, program verification, quantification, regular expressions, smt lib, strategies, strings, symbolic automata, symbolic model checking, theories, vampire, z3