
Registered user since Thu 15 Nov 2018
Name:Nikolaj Bjørner
Affiliation:Microsoft Research
Contributions
POPL 2023 | Z3 Internals – A guide to principles, art and empirics of programming SMT solvers | ||||||||||||||||||||||||||||||||||||||||
VMCAI 2023 | Satisfiability Modulo Custom Theories in Z3 (Tool Paper) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile