The 2CNF Boolean formula satisfiability problem and the linear space hypothesis

From MaRDI portal
Publication:6098146

DOI10.1016/j.jcss.2023.03.001OpenAlexW2760351616WikidataQ123111275 ScholiaQ123111275MaRDI QIDQ6098146

Tomoyuki Yamakami

Publication date: 12 June 2023

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2017/8134/






Cites Work