Everything about Resolution proof compression by splitting

🧭 Start here: a 6-step reading path

1. Read the overview: Resolution proof compression by splittingA 5-minute orientation
2. Pick up a classic book: Real world Adobe Photoshop CS5 for photographersThe most-reprinted book on the subject
3. Go sideways: Cardinal functionA closely related topic
4. Go sideways: Ext functorA closely related topic

🏆 Landmark papers (most cited)

• No matching papers found.

📚 Books worth reading

• Real world Adobe Photoshop CS5 for photographersConrad Chavez · 2011

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Cardinal function In mathematics, a cardinal function (or cardinal invariant) is a function that returns cardinal numbers. The most frequently used cardinal function is…
• Ext functor In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological…
• Adele ring In number theory, the adele ring is a construction that combines all local versions of a global field into one object. For the rational numbers, these…
• Karp–Lipton theorem In complexity theory, the Karp–Lipton theorem states that if the Boolean satisfiability problem (SAT) can be solved by Boolean circuits with a polynomial…
• DPLL algorithm In logic and computer science, the Davis–Putnam–Logemann–Loveland (DPLL) algorithm is a complete, backtracking-based search algorithm for deciding the…
• Classifying space for U(n) In mathematics, the classifying space for the unitary group U(n) is a space BU(n) together with a universal bundle EU(n) such that any hermitian bundle…
• Segre class In mathematics, the Segre class is a characteristic class used in the study of cones, a generalization of vector bundles. For vector bundles the total…
• Bott periodicity theorem In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by Raoul Bott (1957, 1959)…