Informatique théorique

Resolution Width Lifts to Near-Quadratic-Depth Res($\oplus$) Size by Dmitry Itsykson

La Largeur de Résolution S'élève à une Taille de Res($\oplus$) de Profondeur Quasi-Quadratique par Dmitry Itsykson

On CC^0 Lower Bounds for AND via Torus Polynomials by Jayalal Sarma

Sur les bornes inférieures CC^0 pour AND via les polynômes de tore par Jayalal Sarma

Lower Bounds for Monotone Span programs by Robert Robere

Bornes inférieures pour les programmes de span monotones par Robert Robere

IPS Lower Bounds for Formulas and Sum of ROABPs by Prerona Chatterjee

Bornes inférieures IPS pour les formules et la somme de ROABPs par Prerona Chatterjee

Average-Case Hardness of Binary-Encoded Clique in Proof and Communication... by Duri Andrea Janett

Dureté du cas moyen de Clique codée en binaire dans la preuve et la communication... par Duri Andrea Janett

An unconditional constant depth natural proof barrier: Bound by our own lower... by Suhail Sherif

Une barrière de preuve naturelle inconditionnelle à profondeur constante : Bornés par nos propres limites inférieures... par Suhail Sherif

A Randomness Hierarchy for Adversarially Robust Streaming Algorithms by Amit Chakrabarti

Une hiérarchie de hasard pour les algorithmes de streaming robustes aux adversaires par Amit Chakrabarti

Svyatoslav Gryaznov | Weak Rank Principle and Circuit Lower-Bound Statements ( Part II )

Svyatoslav Gryaznov | Principe du rang faible et énoncés de bornes inférieures de circuits (Partie II)

Svyatoslav Gryaznov | Weak Rank Principle and Circuit Lower-Bound Statements ( Part I )

Svyatoslav Gryaznov | Principe de rang faible et énoncés de bornes inférieures de circuit (Partie I)

Prof. Or Meir | On Top-Down Lower Bound Techniques for Constant-Depth Circuits

Prof. Or Meir | Sur les techniques de bornes inférieures de haut en bas pour les circuits de profondeur constante

Prof. Roei Tell | Time vs Space vs Alternations: General Plasticity for Algorithms from Hardness ...

Prof. Roei Tell | Temps vs Espace vs Alternances : Plasticité générale pour les algorithmes à partir de la dureté...

Lec 41: Bounded Model Checking

Lec 41 : Vérification de modèles bornée

Lec 40: SAT based Symbolic Model Checking

Lec 40 : Vérification de modèles symboliques basée sur SAT

Dr. Igor Carboni Oliveira | Meta-Mathematics of Complexity Theory

Dr. Igor Carboni Oliveira | Méta-mathématiques de la théorie de la complexité

Dr. Hanlin Ren | Near-Maximum Circuit Lower Bounds for Exponential Time with Merlin-Arthur Queries

Dr. Hanlin Ren | Bornes inférieures de circuits quasi-maximales pour le temps exponentiel avec requêtes Merlin-Arthur

Halley Goldberg | Asymmetry and Complexity of Nondeterministic Computations

Halley Goldberg | Asymétrie et complexité des calculs non déterministes

Frontiers in complexity lower bounds [LFCW01] | Mon 7th September

Frontières dans les bornes inférieures de complexité [LFCW01] | Lun 7 septembre

Dr. Zhenjian Lu | Nondeterminism in Meta-Complexity

Dr. Zhenjian Lu | Non-déterminisme en méta-complexité

PUSHDOWN AUTOMATA | THEORY OF AUTOMATA AND FORMAL LANGUAGES | LECTURE 02 BY MR. AMIT GOEL | AKGEC

AUTOMATES À PILE | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | LEÇON 02 PAR M. AMIT GOEL | AKGEC

Quantum Algorithms Pt. 4 Optimization | Sabina Dragoi |QGSS26

Algorithmes quantiques partie 4 : Optimisation | Sabina Dragoi | QGSS26

Lec 28: CTL Encoding Exmaples

Lec 28 : Exemples de codage CTL

Lec 25: LTL_ Equivalence of Formulas, Adequate Set, Encoding Examples

Lec 25 : LTL_ Équivalence des formules, ensemble adéquat, exemples d'encodage

Relation Algebra and the Limits of What Computers Can Decide Jas Semrl FAI CDT

Algèbre des relations et les limites de ce que les ordinateurs peuvent décider Jas Semrl FAI CDT

Lec 24: LTL Encoding Examples

Lec 24: Exemples d'encodage LTL

Lec 23: LTL: Syntax and Semantics

Lec 23: LTL: Syntaxe et Sémantique

Sampling from the Sherrington-Kirkpatrick model up to β＜1/2

Échantillonnage du modèle de Sherrington-Kirkpatrick jusqu'à β＜1/2

FINITE AUTOMATA | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 01 MS. VIBHA SRIVASTAVA | AKGEC

AUTOMATES FINIS | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | COURS 01 MME VIBHA SRIVASTAVA | AKGEC

Ground Energy estimation of Quantum Impurity model is in BQP

Estimation de l'énergie fondamentale du modèle d'impureté quantique dans BQP

Gap Amplification for Local Hamiltonians with Combinatorial Soundness

Amplification de gap pour les hamiltoniens locaux avec solidité combinatoire

Yang Wang: On regular copying languages

Yang Wang : À propos des langues à réduplication régulière

Classical algorithms for quantum Gibbs states

Algorithmes classiques pour les états de Gibbs quantiques

Two classical oracle separations between QMA and QCMA

Deux séparations par oracle classique entre QMA et QCMA

Fault-Tolerance Against Adversarial Errors & PCPs

Tolérance aux pannes face aux erreurs adverses et PCP

École d'été | 10 juin 2026: Applications of SAT Solvers par Joao Marques-Silva

École d'été | 10 juin 2026 : Bridging Theory and Practice with SAT and MaxSAT par Ruben Martins

École d'été | 10 juin 2026 : Boolean Is Not Too Restrictive par Pouya Shati

First Progress in 50 Years on Most Famous Computing Problem

Première avancée en 50 ans sur le plus célèbre problème informatique

How Hard is too Hard? An Introduction to Complexity - Colva Roney-Dougal

À quel point est-ce trop difficile ? Une introduction à la complexité - Colva Roney-Dougal

21 Yr Old Disproves 4 Decades Old Belief in Computing

À 21 ans, il réfute une croyance vieille de 40 ans en informatique

2.7.2 The minimisation of finite automata: the formal construction

2.7.2 La minimisation des automates finis : la construction formelle