Proving Unsatisfiability with Hitting Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuval Filmus, Edward A. Hirsch, Artur Riazanov, Alexander Smal, Marc Vinyals. Proving Unsatisfiability with Hitting Formulas. Electronic Colloquium on Computational Complexity (ECCC), TR23, 2023. [doi]

This author has not been identified. Look up 'Yuval Filmus' in GoogleThis author has not been identified. Look up 'Edward A. Hirsch' in GoogleThis author has not been identified. Look up 'Artur Riazanov' in GoogleThis author has not been identified. Look up 'Alexander Smal' in GoogleThis author has not been identified. Look up 'Marc Vinyals' in Google

runs on WebDSL