Searching for authors named "Moritz Hardt" – sorted by Relevance.
-
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

