The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic
Susumu YamasakiShuji DoshitaPublished in: Inf. Control. (1983)
Keyphrases
- satisfiability problem
- np hard
- np complete
- natural language
- horn logic
- search algorithm
- temporal logic
- propositional logic
- horn clauses
- phase transition
- stochastic local search algorithms
- sat instances
- logic programming
- modal logic
- stochastic local search
- special case
- relational databases
- sat problem
- logical formulas