Albert Atserias
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| In Search of the Hard Instances | Satisfiability: Theory, Practice, and Beyond 2023 | 2023-04-17 |
Partial survey that ties concrete lower/upper bounds, sum-of-squares algebraic proofs, and proof-search hardness to practical SAT behavior. Shows the… | ||
| Consistency of NEXP Not in P/poly in a Strong Theory | Proof Complexity and Meta-Mathematics 2023 | 2023-03-20 |
Shows a concrete consistency result: there is a model of V^0_2 in which the canonical NEXP complete bounded halting problem has no polynomial size circuits, so… | ||
| nothing matches | ||