Satisfiability Threshold of Random Propositional S5 Theories.
Zaihang SuYisong WangRenyan FengChan ZhouPublished in: Axioms (2024)
Keyphrases
- propositional theories
- propositional logic
- computational problems
- satisfiability testing
- logic programs
- computational properties
- satisfiability problem
- random constraint satisfaction problems
- conjunctive normal form
- first order logic
- cnf formula
- threshold selection
- expressive power
- propositional formulas
- refinement operators
- theoretical framework
- probability theory
- multi valued
- randomly generated
- logical theories
- np complete
- terminological reasoning
- logic programming