A Randomized Algorithm for 3-SAT (2009)
Ghosh, Subhas Kumar, Misra, Janardan
In this work we propose and analyze a simple randomized algorithm to find a satisfiable assignment for a Boolean formula in conjunctive normal form (CNF) having at most 3 literals in every clause....
Towards a Framework for Observing Artificial Evolutionary Systems (2009)
Establishing the emergence of evolutionary behavior as a defining characteristic of 'life' is a major step in the Artificial life (ALife) studies. We present here an abstract formal framework for...
Design of a P System based Artificial Graph Chemistry (2009)
Artificial Chemistries (ACs) are symbolic chemical metaphors for the exploration of Artificial Life, with specific focus on the origin of life. In this work we define a P system based artificial...
In this work we propose techniques for efficient reachability analysis of the state space (e.g., detection of bad states) using a combination of partial order and symmetry based reductions in a...
Binary Arithmetic for DNA Computers (2001)
Rana Barua, Janardan Misra, Rana Barua, Janardan Misra
We propose a (recursive) DNA algorithm for adding two binary numbers which require O(log n) bio-steps using only O(n) different type of DNA strands, where n is the size of the binary string...