Un algoritmo para calcular #2SAT.
Marco A. López MedinaJosé Raymundo Marcial-RomeroGuillermo De Ita LunaJosé Antonio Hernández ServínPublished in: Res. Comput. Sci. (2015)
Keyphrases
- satisfiability problem
- sat solvers
- sat solving
- boolean satisfiability
- propositional satisfiability
- search algorithm
- max sat
- stochastic local search algorithms
- variable ordering
- sat problem
- neural network
- search strategies
- phase transition
- stochastic local search
- graph coloring
- np complete
- pseudo boolean constraints