首页 /研究 /Efficient 3-SAT algorithms in the tile assembly model
OTHER

Efficient 3-SAT algorithms in the tile assembly model

Yuriy Brun

发表年份
2012
引用次数
4

关键词

Nondeterministic algorithmComputer scienceTileTheory of computationCorrectnessSoftwareAlgorithmProcess (computing)ImplementationTheoretical computer science

相关论文

查看 OTHER 分类全部论文