TY  - RPRT
TI  - On solving 3CNF-satisfiability with an in vivo algorithm.
AU  - T L Eng
PY  - 1999
DO  - 10.1016/s0303-2647(99)00040-4
UR  - https://pubmed.ncbi.nlm.nih.gov/10636038/
ID  - 10636038
ER  -