Publication | Closed Access
Linear-time algorithms for testing the satisfiability of propositional horn formulae
1K
Citations
5
References
1984
Year
EngineeringAutomated ReasoningPropositional Horn FormulaeProof ComplexityVerificationPropositional LogicFormal MethodsSat SolvingSatisfiabilityComputational ComplexityAutomated ProofComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1