4 ms·Confusingly headlined article is about bookean circuit satisfiability (SAT).by gowld 7y agoConfusingly headlined article is about bookean circuit satisfiability (SAT).