Satisfiability Problems in Quasiary Program Logics.
Mykola NikitchenkoStepan S. ShkilniakValentyn G. TymofieievPublished in: ACIT (2018)
Keyphrases
- satisfiability problem
- coalition logic
- np complete
- temporal logic
- phase transition
- modal logic
- search algorithm
- pspace complete
- model checking
- cl pc
- stochastic local search algorithms
- stochastic local search
- mazurkiewicz traces
- expressive power
- davis putnam
- sat problem
- max sat
- multi agent systems
- sat instances
- logical framework
- randomly generated
- inference rules
- logic programs