New phase transitions for formulas in Łukasiewicz logic.
Mohamed El HalabyAreeg AbdallaPublished in: Frontiers Comput. Sci. (2020)
Keyphrases
- phase transition
- constraint satisfaction
- satisfiability problem
- random sat
- random constraint satisfaction problems
- randomly generated
- hard problems
- combinatorial problems
- predicate calculus
- random instances
- horn clauses
- logical formulas
- modal operators
- np complete
- graph coloring
- sat problem
- random graphs
- linear time temporal logic
- np complete problems
- computational complexity
- automated reasoning
- stochastic local search
- proof theory
- truth values
- multi valued
- special case