Proving Unsatisfiability with Hitting Formulas

Download PDF
Open Webpage

Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals

Published: 01 Jan 2023, Last Modified: 02 Apr 2025Electron. Colloquium Comput. Complex. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0