Selection and Aggregation of Location Information Provisioning Services.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017
On Complexity Measures in Polynomial Calculus.
PhD thesis, 2016
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.
Electron. Colloquium Comput. Complex., 2015
From Small Space to Small Width in Resolution.
Electron. Colloquium Comput. Complex., 2014
Long Proofs of (Seemingly) Simple Formulas.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds - (Extended Abstract).
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Review of mathematics for the analysis of algorithms by Daniel H. Greene and Donald E. Knuth.
SIGACT News, 2011
Automatic movie ratings prediction using machine learning.
Proceedings of the MIPRO, 2011