Login / Signup
A uniform solution to SAT using membrane creation.
Miguel A. Gutiérrez-Naranjo
Mario J. Pérez-Jiménez
Francisco José Romero-Campero
Published in:
Theor. Comput. Sci. (2007)
Keyphrases
</>
optimal solution
search algorithm
mathematical model
information systems
simulated annealing
closed form
optimization method
randomly generated
max sat
linear equations
boolean satisfiability