4 ms·By solving 2-SAT in exponential time and generalizing :)by ngneer 11y agoBy solving 2-SAT in exponential time and generalizing :)