|
VIDEO LIBRARY |
International workshop "Logical Models of Reasoning and Computation"
|
|||
|
Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications Nikolaj Bjorner Microsoft Research, Redmond |
|||
Language: English |