Solving 3CNF-SAT and HPP in Linear Time Using WWW-Reference-Cited by-同舟云学术

Solving 3CNF-SAT and HPP in Linear Time Using WWW

Published:2005 Issue: Volume: Page:269-280
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Manea Florin,Martín-Vide Carlos,Mitrana Victor

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31834-7_22.pdf

Reference15 articles.

1. Lecture Notes in Computer Science;J. Castellanos,2001

2. Castellanos, J., Martin-Vide, C., Mitrana, V., Sempere, J.: Networks of evolutionary processors. Acta Informatica 39, 517–529 (2003)

3. Castellanos, J., Leupold, P., Mitrana, V.: Descriptional and computational complexity aspects of hybrid networks of evolutionary processors. Theoretical Computer Science (in press)

4. Csuhaj-Varjú, E., Dassow, J., Kelemen, J., Pǎun, G.: Grammar Systems. Gordon and Breach (1993)

5. Lecture Notes in Computer Science;E. Csuhaj-Varjú,1997

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

1. Networks of polarized splicing processors as problem solvers;Biosystems;2019-12

2. How Nets of Evolutionary Processors (NEPs) Could be Simulated in a Distributed Way;Advances in Computational Intelligence;2015

3. Towards the Automatic Programming of NEPs: A First Case Study;Advances in Intelligent and Soft Computing;2012

4. Towards the Automatic Programming of NEPs;Lecture Notes in Computer Science;2011

5. jNEPView: A Graphical Trace Viewer for the Simulations of NEPs;Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy;2009