AG-80
Boolean Monotonicity Testing via an Isoperimetry Result on the Directed Hypercube
Local Search for Computationally Hard Constraint Satisfaction Problems
Ramanujan Graphs of All Degrees
A Survey on Uniform Hardness Amplification in NP
The Strahler Analysis of Binary Trees in Computer Science and in Other Sciences
Program Analysis Using Quantifier Elimination Heuristics
Epistemic Reasoning and Its Applications
Epistemic Reasoning and Its Applications
The Minimal Complexity of an Adapting Agent Increases with Fitness
Pages
