The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic - Concepedia

Concepedia

Publication | Closed Access

The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic

29

Citations

7

References

1983

Year

Susumu Yamasaki, Shuji Doshita

Information and Control

Computational LogicEngineeringAutomated ReasoningPropositional LogicSatisfiabilty ProblemMany-valued LogicSat SolvingFormal MethodsComputer ScienceProportional LogicSatisfiabilityHorn Sentences

References

	Year	Citations

Page 1