Mladen Miksa

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Venues

CoRR

Electron. Colloquium Comput. Complex.

SAT

ACM Trans. Comput. Log.

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

Filip Lemic, Vlado Handziski, Mladen Miksa, Jan M. Rabaey, John Wawrzynek, Adam Wolisz
Selection and Aggregation of Location Information Provisioning Services. ICCCN (2017)
Mladen Miksa, Jakob Nordström
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds. Computational Complexity Conference (2015)
Mladen Miksa, Jakob Nordström
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds. Electron. Colloquium Comput. Complex. 22 (2015)
Mladen Miksa, Jakob Nordström
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds. CoRR (2015)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. ACM Trans. Comput. Log. 16 (4) (2015)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. CoRR (2014)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. Electron. Colloquium Comput. Complex. 21 (2014)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
From Small Space to Small Width in Resolution. STACS (2014)
Mladen Miksa, Jakob Nordström
Long Proofs of (Seemingly) Simple Formulas. SAT (2014)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds - (Extended Abstract). ICALP (1) (2013)
Mladen Marovic, Marko Mihokovic, Mladen Miksa, Sinisa Pribil, Alan Tus
Automatic movie ratings prediction using machine learning. MIPRO (2011)
Mladen Miksa
Review of mathematics for the analysis of algorithms by Daniel H. Greene and Donald E. Knuth. SIGACT News 42 (2) (2011)

Mladen Miksa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mladen Miksa