Travelled to:1 × Austria
1 × Latvia
Collaborated with:J.Nordström Y.Filmus M.Lauria M.Vinyals
Talks about:understand (1) polynomi (1) calculus (1) formula (1) toward (1) simpl (1) separ (1) proof (1) lower (1) bound (1)
Person: Mladen Miksa
DBLP: Miksa:Mladen
Contributed to:
2014
2013Wrote 2 papers:
- SAT-2014-MiksaN #proving
- Long Proofs of (Seemingly) Simple Formulas (MM, JN), pp. 121–137.
- ICALP-v1-2013-FilmusLMNV #bound #calculus #comprehension #polynomial #towards
- Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds — (YF, ML, MM, JN, MV), pp. 437–448.