Publication | Closed Access
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
85
Citations
9
References
2009
Year
Substitution SetsEngineeringAutomated ReasoningPropositional LogicDynamic LogicFormal MethodsComputer ScienceLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1