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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jan Maly, Moritz Müller

Journal title: Mathematical Logic Quarterly

Journal number: 64/6

Journal publisher: John Wiley & Sons Ltd.

Published year: 2018

Published pages: 418-428

DOI identifier: 10.1002/malq.201700009

ISSN: 0942-5616