Guiding High-Performance SAT Solvers with Unsat-Core Predictions von Selsam, Daniel, Bjørner, Nikolaj

Volltext

Preface of the special issue on the conference on formal methods in computer aided design 2018 von Bjørner, Nikolaj, Gurfinkel, Arie

Volltext

Z3: An Efficient SMT Solver von de Moura, Leonardo, Bjørner, Nikolaj

Volltext

Property-Directed Inference of Universal Invariants or Proving Their Absence von Karbyshev, Aleksandr, Bjørner, Nikolaj, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Volltext

Monadic Decomposition von Veanes, Margus, Bjørner, Nikolaj, Nachmanson, Lev, Bereg, Sergey

Volltext

Horn Clause Solvers for Program Verification von Bjørner, Nikolaj, Gurfinkel, Arie, McMillan, Ken, Rybalchenko, Andrey

Volltext

Algebra-Based Reasoning for Loop Synthesis von Humenberger, Andreas, Amrollahi, Daneshvar, Bjørner, Nikolaj, Kovács, Laura

Volltext

Linear Quantifier Elimination as an Abstract Decision Procedure von Bjørner, Nikolaj

Volltext

SpEQ: Translation of Sparse Codes using Equivalences von Laird, Avery, Liu, Bangtian, Bjørner, Nikolaj, Dehnavi, Maryam Mehri

Volltext

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers von Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei

Volltext

Symbolic tree automata von Veanes, Margus, Bjørner, Nikolaj

Volltext

Satisfiability Modulo Theories: An Appetizer von de Moura, Leonardo, Bjørner, Nikolaj

Volltext

Content-dependent chunking for differential compression, the local maximum approach von Bjørner, Nikolaj, Blass, Andreas, Gurevich, Yuri

Volltext

Property Directed Polyhedral Abstraction von Bjørner, Nikolaj, Gurfinkel, Arie

Volltext

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets von Piskac, Ruzica, de Moura, Leonardo, Bjørner, Nikolaj

Volltext

Satisfiability Modulo Custom Theories in Z3 von Bjørner, Nikolaj, Eisenhofer, Clemens, Kovács, Laura

Volltext

Z3 and SMT in Industrial R&D von Bjørner, Nikolaj

Volltext

Checking Cloud Contracts in Microsoft Azure von Bjørner, Nikolaj, Jayaraman, Karthick

Volltext

Preface for the special issue “FM15” von de Boer, Frank, Bjorner, Nikolaj

Volltext

Distributed Computing and Internet Technology: 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings von Bjørner, Nikolaj, Prasad, Sanjiva, Parida, Laxmi

Volltext