Solving SAT in Linear Time with a Neural-Like Membrane System.

Juan Pazos Alfonso Rodríguez-Patón Andrés Silva

Published in: IWANN (1) (2003)

Keyphrases

np complete problems
sat solving
stochastic local search
network architecture
phase transition
boolean optimization
sat instances
orders of magnitude
davis putnam logemann loveland
sat solvers
neural network
graph coloring
variable ordering
sat encodings
solving hard
weighted max sat
satisfiability problem