Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference14 articles.
1. A linear-time algorithm for testing the truth of certain quantified boolean formulas;Aspvall;Information Processing Letters,1979
2. Optimization Methods for Logical Inference. Series in Discrete Mathematics and Optimization;Chandru,1999
3. A fast and efficient parallel algorithm for finding a satisfying truth assignment to a 2-cnf formula;Chen;Information Processing Letters,1992
4. A simple parallel algorithm for finding a satisfying truth assignment to a 2-cnf formula;Cook;Information Processing Letters,1988
5. Introduction to Algorithms;Gormen,1992