N
Nikolaj Bjørner
Researcher at Microsoft
Publications - 195
Citations - 14015
Nikolaj Bjørner is an academic researcher from Microsoft. The author has contributed to research in topics: Satisfiability modulo theories & Solver. The author has an hindex of 42, co-authored 187 publications receiving 12375 citations. Previous affiliations of Nikolaj Bjørner include University of Kent & Stanford University.
Papers
More filters
Proceedings ArticleDOI
Instantiations, Zippers and EPR Interpolation
TL;DR: A procedure for EPR is developed that uses just models and cores, inspired by procedures for propositional logic that use models andCore, but not proofs, to take advantage of properties of EPR.
Journal IssueDOI
Proceedings First Workshop on Horn Clauses for Verification and Synthesis
TL;DR: This volume contains the proceedings of HCVS 2014, the First Workshop on Horn Clauses for Verification and Synthesis which was held in Vienna, Austria as a satellite event of the Federated Logic Conference (FLoC) and part of the Vienna Summer of Logic (VSL 2014).
BookDOI
FM 2015: Formal Methods
Nikolaj Bjørner,Frank S. de Boer +1 more
TL;DR: The aim of this book is to contribute towards the development of a coherent theory of “hybridization” (or “synthesis”) in the context of discrete-time-based systems.
Patent
Providing Diverse Solutions Using Design Space Exploration
TL;DR: A design space exploration (DSE) system automatically discovers viable solutions within a design space by creating or receiving a design specification that is described using a design language and symbolically executing the specification to provide a logical formula as mentioned in this paper.
Posted Content
Reversible Pebbling Game for Quantum Memory Management
TL;DR: In this article, a SAT-based algorithm for quantum memory management is proposed, which returns a valid clean-up strategy, taking the limitations of the quantum hardware into account, based on the reversible pebbling game.