5,859 followers
Solving QSAT in sublinear depth https://t.co/rIKlTbDvsm
Solving QSAT in sublinear depth https://t.co/rIKlTbDvsm
#newpaper Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: Solving QSAT in sublinear depth. In: Membrane Computing, 19th International Conference, CMC 2018, pp. 188–201. Springer (2019). https://t.co/o43od0o6zq (preprint at https://t.co/9P