(Q51645683)
Statements
On solving 3CNF-satisfiability with an in vivo algorithm. (English)
1 reference
Eng TL
1 reference
1 October 1999
1 reference
52
1 reference
1-3
1 reference
135-141
1 reference
scientific article published in October 1999