Concepedia

Or Meir

OM

Statistics

Publications

8

Citations

148

H-Index

8

Active since

2009

Affiliations

Weizmann Institute of Science(Current)

Institute for Advanced Study

Rutgers, The State University of New Jersey

Or Meir is an author at Weizmann Institute of Science specializing in computational complexity, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputational ComplexityDiscrete MathematicsCombinatorial OptimizationProof ComplexityFormal MethodsTheory Of ComputingCoding TheoryCircuit Complexity

Publications per year

2009–2017

8

Publications

8

Toward better formula lower bounds

Dmitry Gavinsky, Or Meir, Omri Weinstein et al. · 2014 · 34 citations

Circuit Complexity, Computational Complexity Theory, Formula Lower Bounds +13

High-rate locally-correctable and locally-testable codes with sub-polynomial query complexity

Swastik Kopparty, Or Meir, Noga Ron‐Zewi et al. · 2016 · 22 citations

Theory Of Computing, Engineering, Query Complexity +13

Combinatorial PCPs with Efficient Verifiers

Or Meir · 2009 · 19 citations

Computational Complexity Theory, Engineering, Proof Complexity +13

Derandomized Parallel Repetition of Structured PCPs

Irit Dinur, Or Meir · 2010 · 19 citations

Mathematical Programming, Computational Complexity Theory, Engineering +22

Constant Rate PCPs for Circuit-SAT with Sublinear Query Complexity

Eli Ben‐Sasson, Yohay Kaplan, Swastik Kopparty et al. · 2013 · 17 citations

Circuit Complexity, Computational Complexity Theory, Engineering +18

1–5 of 8