Login / Signup

A uniform solution to SAT using membrane creation.

Miguel A. Gutiérrez-NaranjoMario J. Pérez-JiménezFrancisco 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