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