bibliographer - Nikolaj Bjørner

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Algebra-Based Reasoning for Loop Synthesis Andreas Humenberger Daneshvar Amrollahi Nikolaj Bjørner Laura Kovács [github]

Algebra-Based Loop Synthesis Andreas Humenberger Nikolaj Bjørner Laura Kovács [github]

Modular difference logic is hard Nikolaj Bjørner Andreas Blass Yuri Gurevich Madan Musuvathi [github]

muZ: An Efficient Engine for Fixed Points with Constraints Kryštof Hoder Nikolaj Bjørner Leonardo De Moura [github]

On Solving Universally Quantified Horn Clauses Nikolaj Bjørner Kenneth L. McMillan Andrey Rybalchenko [github]

Efficient E-Matching for SMT Solvers Leonardo de Moura Nikolaj Bjørner [github]

Path Feasibility Analysis for String-Manipulating Programs Nikolaj Bjørner Nikolai Tillmann Andrei Voronkov [github]

Generalized, efficient array decision procedures Leonardo de Moura Nikolaj Bjorner [github]

Satisfiability modulo theories Leonardo De Moura Nikolaj Bjørner [github]

Symbolic finite state transducers Margus Veanes Pieter Hooimeijer Benjamin Livshits David Molnar Nikolaj Bjorner [github]

Cardinalities and universal quantifiers for verifying parameterized systems Klaus v. Gleissenthall Nikolaj Bjørner Andrey Rybalchenko [github]

Monadic Decomposition Margus Veanes Nikolaj Bjørner Lev Nachmanson Sergey Bereg [github]

Library Size: 13G (12 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]