BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/1588
DTSTAMP:20250714T071802Z
SUMMARY:Self-Improvement for Circuit-Analysis Problems
DESCRIPTION:Speaker: Shubham Bhardwaj (TIFR)\n\nAbstract: \nIn this talk\, 
 we'll explore a self-improvement phenomenon for Circuit-SAT\, $\\#$Circuit
 -SAT and its fully quantified variants. We'll see that even modest improve
 ments over brute-force algorithms for large circuits—where satisfiabilit
 y is polynomial-time solvable—can be amplified into significant speedups
  for smaller\, subexponential-size circuits. The arguments will also work 
 for a variety of models solving circuit-analysis problems\, including non-
 uniform circuits and randomized models of computation.\n
URL:https://www.tcs.tifr.res.in/web/events/1588
DTSTART;TZID=Asia/Kolkata:20250725T140000
DTEND;TZID=Asia/Kolkata:20250725T160000
LOCATION:A-201 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR