@misc{indiciae2f6edc6f87a9,
  title = {On solving 3CNF-satisfiability with an in vivo algorithm.},
  author = {T L Eng},
  year = {1999},
  doi = {10.1016/s0303-2647(99)00040-4},
  url = {https://pubmed.ncbi.nlm.nih.gov/10636038/},
  note = {Source identifier: 10636038}
}