Home /Research /Efficient 3-SAT algorithms in the tile assembly model
OTHER

Efficient 3-SAT algorithms in the tile assembly model

Yuriy Brun

Year
2012
Citations
4

Keywords

Nondeterministic algorithmComputer scienceTileTheory of computationCorrectnessSoftwareAlgorithmProcess (computing)ImplementationTheoretical computer science

Related papers

Browse all OTHER papers