Mladen Miksa

15 papers A 3B 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds.
Theory Comput.
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
2024 J jnl
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.
J. ACM
Mladen Miksa, Jakob Nordström
2017 B conf
Selection and Aggregation of Location Information Provisioning Services.
ICCCN
Filip Lemic, Vlado Handziski, Mladen Miksa, Jan M. Rabaey, John Wawrzynek, Adam Wolisz
2016 — —
On Complexity Measures in Polynomial Calculus.
Mladen Miksa
2015 A conf
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.
CCC
Mladen Miksa, Jakob Nordström
2015 J jnl
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.
CoRR
Mladen Miksa, Jakob Nordström
2015 J jnl
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds.
Electron. Colloquium Comput. Complex.
Mladen Miksa, Jakob Nordström
2015 J jnl
From Small Space to Small Width in Resolution.
ACM Trans. Comput. Log.
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
2014 A conf
From Small Space to Small Width in Resolution.
STACS
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
2014 J jnl
From Small Space to Small Width in Resolution.
CoRR
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
2014 J jnl
From Small Space to Small Width in Resolution.
Electron. Colloquium Comput. Complex.
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
2014 A conf
Long Proofs of (Seemingly) Simple Formulas.
SAT
Mladen Miksa, Jakob Nordström
2013 — conf
Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds - (Extended Abstract).
ICALP (1)
Yuval Filmus, Massimo Lauria, Mladen Miksa, Jakob Nordström, Marc Vinyals
2011 — conf
Automatic movie ratings prediction using machine learning.
MIPRO
Mladen Marovic, Marko Mihokovic, Mladen Miksa, Sinisa Pribil, Alan Tus
2011 J jnl
Review of mathematics for the analysis of algorithms by Daniel H. Greene and Donald E. Knuth.
SIGACT News
Mladen Miksa