Quantified 2-SAT is in PSpeaker: Santhoshini
Title: Quantified 2-SAT is in P
Date: 05 Nov 2019 5:30pm-7:00pm
Location: Maxwell-Dworkin 123
Abstract: Just a fun talk on a short paper by Tarjan et al where they show that it is possible to solve Quantified 2-SAT (each literal has an associated quantifier) in linear time.