A Clause String DNA Algorithm for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincenzo Manca, Claudio Zandron. A Clause String DNA Algorithm for SAT. In Natasa Jonoska, Nadrian C. Seeman, editors, DNA Computing, 7th International Workshop on DNA-Based Computers, DNA7, Tampa, Florida, USA, June 10-13, 2001, Revised Papers. Volume 2340 of Lecture Notes in Computer Science, pages 172-181, Springer, 2001. [doi]

This author has not been identified. Look up 'Vincenzo Manca' in GoogleThis author has not been identified. Look up 'Claudio Zandron' in Google

runs on WebDSL