Bjorner Nikolaj

Presentations in Math-Net.Ru

1. Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines
   Nikolaj Bjorner
   International workshop "Logical Models of Reasoning and Computation"
   February 2, 2012 12:00   
2. Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications
   Nikolaj Bjorner
   International workshop "Logical Models of Reasoning and Computation"
   February 1, 2012 12:00