Solving the 3‐Satisfiability Problem Using Network‐Based Biocomputation-Reference-Cited by-同舟云学术

Solving the 3‐Satisfiability Problem Using Network‐Based Biocomputation

Published:2022-10-02 Issue:12 Volume:4 Page:2200202
ISSN:2640-4567
Container-title:Advanced Intelligent Systems
language:en
Short-container-title:Advanced Intelligent Systems

Author:

Zhu Jingyuan¹²^ORCID,Salhotra Aseem¹³,Meinecke Christoph Robert⁴,Surendiran Pradheebha¹²,Lyttleton Roman¹²,Reuter Danny⁴⁵,Kugler Hillel⁶,Diez Stefan⁷⁸,Månsson Alf¹³,Linke Heiner¹²,Korten Till⁷^ORCID

Affiliation:

1. NanoLund Lund University Box 118 22100 Lund Sweden

2. Division of Solid State Physics Lund University Box 118 22100 Lund Sweden

3. Department of Chemistry and Biomedical Sciences Linnaeus University 39182 Kalmar Sweden

4. Center for Microtechnologies Technische Universität Chemnitz 09126 Chemnitz Germany

5. Department Nano Device Technologies Fraunhofer Institute for Electronic Nano Systems ENAS 09126 Chemnitz Germany

6. Faculty of Engineering Bar-Ilan University Ramat Gan 5290002 Israel

7. B CUBE - Center for Molecular Bioengineering and Cluster of Excellence Physics of Life Technische Universität Dresden 01307 Dresden Germany

8. Max Planck Institute of Molecular Cell Biology and Genetics 01307 Dresden Germany

Funder

Horizon 2020 Framework Programme

Lund University

Publisher

Wiley

Subject

General Medicine

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/aisy.202200202

Reference48 articles.

1. K. L.McMillan presented atInt. Conf. on Computer Aided Verification Boulder CO July 2003.

2. H.Kautz B.Selman presented atIJCAI Stockholm Sweden July-August 1999.

3. E.Clarke M.Talupur H.Veith D.Wang presented atInt. Conf. on Theory and Applications of Satisfiability Testing Santa Margherita Ligure Italy2003.

4. Ising model for neural data: Model quality and approximate methods for extracting functional connectivity

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exploitation of Engineered Light-Switchable Myosin XI for Nanotechnological Applications;ACS Nano;2023-08-28

2. Simulation and Verification of Network-Based Biocomputation Circuits;2023 IEEE International Symposium on Circuits and Systems (ISCAS);2023-05-21

3. Multi-unit Discrete Hopfield Neural Network for higher order supervised learning through logic mining: Optimal performance design and attribute selection;Journal of King Saud University - Computer and Information Sciences;2023-05

4. The potential of myosin and actin in nanobiotechnology;Journal of Cell Science;2023-03-01

5. Nanolithographic Fabrication Technologies for Network-Based Biocomputation Devices;Materials;2023-01-24