@inproceedings{sto05c,
  author =       {C. Stoean, D. Dumitrescu},
  title =        {On Solving the 3-SAT Problem Using an Evolutionary Multimodal Optimization Technique},
  booktitle =      {5th International Conference on Artificial Intelligence and Digital Communications (AIDC 2005)},
  year =         {2005},
  pages =        {136-142},
  publisher =		{Research Notes in Artificial Intelligence and Digital Communications, N. Tandareanu (Ed.), Reprograph Press},
  address = {Craiova, Romania},
}