Natalia Gavrilenko

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Orders Of Magnitude

Operating System

Experimental Data

Machine Learning Algorithms

Top Venues

Publications

Natalia Gavrilenko, Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer
BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings. CAV (1) (2019)