Searching for authors named "Moritz Hardt" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Higher-order syntax and saturation algorithms for hybrid logic
- …Abstract HyLo 2006 Higher-Order Syntax and Saturation Algorithms for Hybrid Logic Moritz Hardt 1…
- Cited by 6 (5 self) – Add To MetaCart
-
The Uniform Hardcore Lemma via Approximate Bregman Pro jections*
- … The Uniform Hardcore Lemma via Approximate Bregman Pro jections* Boaz Barak# Moritz Hardt…
- Add To MetaCart
-
NSF grants MSPA-MCS 0528414, and ITR 0205594.
- …Boaz Barak ∗ Princeton University Rounding Parallel Repetitions of Unique Games Abstract Moritz…
- Add To MetaCart
-
Rounding Parallel Repetitions of Unique Games
- …Rounding Parallel Repetitions of Unique Games Boaz Barak ∗ Princeton University Moritz Hardt…
- Add To MetaCart
-
Deterministically Testing Sparse Polynomial Identities of Unbounded Degree ⋆ Abstract
- … Bläser a Moritz Hardt b,∗,1 Richard J. Lipton c Nisheeth K. Vishnoi d a Saarland University, Saarbrücken…
- Add To MetaCart
Showing 1 through 5.
