A Procedure for Max-SAT with DNA Strands

Yuichiro Tokumaru, Akihiro Fujiwara. A Procedure for Max-SAT with DNA Strands. In Hamid R. Arabnia, Mark Murgin, editors, Proceedings of the 2006 International Conference on Foundations of Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006. pages 123-129, CSREA Press, 2006.

Abstract

Abstract is missing.