Article citationsMore>>

Aspvall, B., Plass, M.F. and Tarjan, R.E. (1979) A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas. Information Processing Letters, 8, 121-123.
https://doi.org/10.1016/0020-0190(79)90002-4

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top