Nikolaj S. Bjørner

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 14

Top Topics

Relation Algebra

Wide Area Network

Top Venues

Publications

Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
PolySAT: Word-level Bit-vector Reasoning in Z3. CoRR (2024)
Nikolaj S. Bjørner, Lev Nachmanson
Arithmetic Solving in Z3. CAV (1) (2024)
Abhishek Vijaya Kumar, Bill Owens, Nikolaj S. Bjørner, Binbin Guan, Yawei Yin, Paramvir Bahl, Rachee Singh
CHISEL: An optical slice of the wide-area network. NSDI (2024)
Umesh Krishnaswamy, Rachee Singh, Paul Mattes, Paul-Andre C. Bissonnette, Nikolaj S. Bjørner, Zahira Nasrin, Sonal Kothari, Prabhakar Reddy, John Abeln, Srikanth Kandula, Himanshu Raj, Luis Irún-Briz, Jamie Gaudette, Erica Lan
OneWAN is better than two: Unifying a split WAN architecture. NSDI (2023)
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
Satisfiability Modulo Custom Theories in Z3. VMCAI (2023)
Nikolaj S. Bjørner, Katalin Fazekas
On Incremental Pre-processing for SMT. CADE (2023)
Wan-Hsuan Lin, Jason Kimko, Bochen Tan, Nikolaj S. Bjørner, Jason Cong
Scalable Optimal Layout Synthesis for NISQ Quantum Processors. DAC (2023)
Nina Narodytska, Nikolaj S. Bjørner
Analysis of Core-Guided MaxSat Using Cores and Correction Sets. SAT (2022)
Rachee Singh, Nikolaj S. Bjørner, Umesh Krishnaswamy
Traffic engineering: from ISP to cloud wide area networks. SOSR (2022)
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Algebra-Based Reasoning for Loop Synthesis. CoRR (2022)
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Algebra-Based Reasoning for Loop Synthesis. Formal Aspects Comput. 34 (1) (2022)
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
User-Propagators for Custom Theories in SMT Solving. SMT (2022)
Umesh Krishnaswamy, Rachee Singh, Nikolaj S. Bjørner, Himanshu Raj
Decentralized cloud wide-area network traffic engineering with BLASTSHIELD. NSDI (2022)
Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Dagstuhl Reports 11 (9) (2021)