Short Q-resolution proofs with homomorphisms

DOI10.1007/978-3-030-51825-7_29OpenAlexW3038939770MaRDI QIDQ2661366

Stefan Szeider, Friedrich Slivovsky, Ankit Shukla

Publication date: 7 April 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_29

zbMATH Keywords

homomorphismssymmetriesproof complexityQBFdependency schemesQ\((D)\)-resolution

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

Never trust your solver: certification for SAT and QBF

This page was built for publication: Short Q-resolution proofs with homomorphisms