Generalized satisfiability problems via operator assignments.
Albert AtseriasPhokion G. KolaitisSimone SeveriniPublished in: J. Comput. Syst. Sci. (2019)
Keyphrases
- satisfiability problem
- np complete
- search algorithm
- temporal logic
- phase transition
- sat problem
- stochastic local search algorithms
- pspace complete
- davis putnam
- solving hard
- stochastic local search
- finite domain
- sat instances
- mazurkiewicz traces
- max sat
- combinatorial problems
- model checking
- description logics
- search space