Deterministic solutions to QSAT and Q3SAT by spiking neural P systems with pre-computed resources

Tseren-Onolt Ishdorj, Alberto Leporati, Linqiang Pan, Xiangxiang Zeng, Xingyi Zhang

Theoretical Computer Science · 2010 · 121 citations · 10 references

Concepts

References

10