A remark on pseudo proof systems and hard instances of the satisfiability problem

Open Webpage

Jan Maly, Moritz Müller

Published: 01 Jan 2018, Last Modified: 30 Jul 2024Math. Log. Q. 2018EveryoneRevisionsBibTeXCC BY-SA 4.0