EasyChair Smart SlideUser guide
Author: Nikolaj Bjørner

This page shows all presentations of this author published in EasyChair Smart Slide.

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols

Petra Hozzová and Nikolaj Bjørner

On Incremental Pre-Processing for SMT

On Incremental Pre-Processing for SMT

Nikolaj Bjorner and Katalin Fazekas

Advancing Science with Platforms and Driving Scenarios: a Perspective from a Researcher at Microsoft Research

Advancing Science with Platforms and Driving Scenarios: a Perspective from a Researcher at Microsoft Research

Nikolaj Bjørner

Basic Hilbert Bases

Basic Hilbert Bases

Nikolaj Bjorner and Andrei Voronkov

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner and Mooly Sagiv

Z3 and SMT in Industrial R&D

Z3 and SMT in Industrial R&D

Nikolaj Bjorner

Presentations in this collection: 6
Copyright © 2002 – 2026 EasyChair