Solving QSAT in sublinear depth

DOI10.1007/978-3-030-12797-8_13OpenAlexW2913101460MaRDI QIDQ2328327

Luca Manzoni, Alberto Leporati, Antonio E. Porreca, Claudio Zandron, Giancarlo Mauri

Publication date: 10 October 2019

Full work available at URL: https://arxiv.org/abs/1902.03879

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (6)

Bounding the space in P systems with active membranes ⋮ Solving a PSPACE-complete problem with cP systems ⋮ A new method to simulate restricted variants of polarizationless P systems with active membranes ⋮ Characterizing PSPACE with shallow non-confluent P systems ⋮ P systems attacking hard problems beyond NP: a survey ⋮ P systems with evolutional symport and membrane creation rules solving QSAT

This page was built for publication: Solving QSAT in sublinear depth