Publication | Closed Access
A linear-time algorithm for testing the truth of certain quantified boolean formulas
893
Citations
6
References
1979
Year
Mathematical ProgrammingEngineeringBoolean FunctionAutomated ReasoningLinear-time AlgorithmPropositional LogicVerificationSat SolvingFormal MethodsAutomated ProofComputational ComplexityComputer ScienceSatisfiabilityFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1