Implementing logical inference based on DNA assembly.

Yufang Huang Yong Xu

Published in: Biosyst. (2020)

Keyphrases

logical inference
theorem proving
probabilistic inference
knowledge compilation
dna sequences
logical structure
dna computing
databases
search engine
conditional independence