A linear-time algorithm for testing the truth of certain quantified boolean formulas
According to PR-model, A linear-time algorithm for testing the truth of certain quantified boolean formulas is ranked 29,285th in multilingual Wikipedia, in particular this website is ranked 46,843rd in English Wikipedia.