November 2022 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Fri Nov 4 19:16:30 CET 2022
Ending: Thu Nov 24 09:07:55 CET 2022
Messages: 8

• [Proof Complexity] a new preprint   Edward A. Hirsch
• [Proof Complexity] CSP   Jan Krajicek
• [Proof Complexity] MIAO seminar Monday Nov 21 at 14:00 CET with Kilian Risse: Bounded depth proof for Tseitin formulas on the grid; revisited   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon Nov 28 at 14:00 CET: Combinatorial solving with provably correct results   Jakob Nordström
• [Proof Complexity] MIAO seminar Friday Nov 25 at 14:00 CET with Shuo Pang: SoS degree lower bound for exact clique   Jakob Nordström
• [Proof Complexity] MIAO seminar Mon Nov 28 at 14:00 CET: Combinatorial solving with provably correct results   Jakob Nordström
• [Proof Complexity] MIAO seminar Thu Dec 1 at 14:00 CET with Srikanth Srinivasan: Lower bounds for algebraic formulas   Jakob Nordström
• [Proof Complexity] PhD opening in TCS and/or combinatorial optimization in Lund   Jakob Nordström

Last message date: Thu Nov 24 09:07:55 CET 2022
Archived on: Thu Nov 24 09:08:07 CET 2022

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...