Matusevych, Sergiy

2 publications

ICLR 2019 Learning to Solve Circuit-SAT: An Unsupervised Differentiable Approach Saeed Amizadeh, Sergiy Matusevych, Markus Weimer

UAI 2012 Hokusai - Sketching Streams in Real Time Sergiy Matusevych, Alexander J. Smola, Amr Ahmed