From SAT to SAT-UNSAT using P systems with dissolution rules.
Agustín Riscos-NúñezLuis Valencia-CabreraPublished in: J. Membr. Comput. (2022)
Keyphrases
- sat solvers
- satisfiability problem
- sat instances
- boolean satisfiability
- stochastic local search
- orders of magnitude
- sat problem
- intelligent systems
- max sat
- sat solving
- search algorithm
- propositional satisfiability
- abstraction levels
- search strategies
- management system
- rule based systems
- randomly generated
- complex systems
- distributed systems
- state space
- expert systems