Simplified and improved separations between regular and general resolution by lifting

DOI10.1007/978-3-030-51825-7_14OpenAlexW3039853995MaRDI QIDQ2661346

Marc Vinyals, Jakob Nordström, Jan Elffers, Jan Johannsen

Publication date: 7 April 2021

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

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 (3)

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations ⋮ Large clique is hard on average for resolution ⋮ Characterizing Tseitin-formulas with short regular resolution refutations

Uses Software

• Chaff
• Plingeling
• Treengeling
• Lingeling

This page was built for publication: Simplified and improved separations between regular and general resolution by lifting