Mladen Miksa

According to our database, Mladen Miksa authored at least 8 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Selection and Aggregation of Location Information Provisioning Services.

Filip Lemic, Vlado Handziski, Mladen Miksa, Jan M. Rabaey, John Wawrzynek, Adam Wolisz

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

2016

On Complexity Measures in Polynomial Calculus.

Mladen Miksa

PhD thesis, 2016

2015

From Small Space to Small Width in Resolution.

Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals

ACM Trans. Comput. Log., 2015

A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.

Mladen Miksa, Jakob Nordström

Electron. Colloquium Comput. Complex., 2015

2014

Long Proofs of (Seemingly) Simple Formulas.

Mladen Miksa, Jakob Nordström

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds - (Extended Abstract).

Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2011

Review of mathematics for the analysis of algorithms by Daniel H. Greene and Donald E. Knuth.

Mladen Miksa

SIGACT News, 2011

Automatic movie ratings prediction using machine learning.

Mladen Marovic, Marko Mihokovic, Mladen Miksa, Sinisa Pribil, Alan Tus

Proceedings of the MIPRO, 2011