Fedor Part

Publication Activity (10 Years)

Years Active: 2015-2025
Publications (10 Years): 8

Top Topics

Consequence Finding

Image Resolution

Top Venues

Comput. Complex.

Publications

Fedor Part, Neil Thapen, Iddo Tzameret
First-order reasoning and efficient semi-algebraic proofs. Ann. Pure Appl. Log. 176 (1) (2025)
Fedor Part
Resolution with Counting: Lower Bounds for Proofs of Membership in the Complement of a Linear Map Image of the Boolean Cube. CoRR (2022)
Fedor Part, Iddo Tzameret
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. Comput. Complex. 30 (1) (2021)
Fedor Part, Neil Thapen, Iddo Tzameret
First-Order Reasoning and Efficient Semi-Algebraic Proofs. LICS (2021)
Fedor Part, Neil Thapen, Iddo Tzameret
First-Order Reasoning and Efficient Semi-Algebraic Proofs. CoRR (2021)
Fedor Part, Iddo Tzameret
Resolution with Counting: Dag-Like Lower Bounds and Different Moduli. ITCS (2020)
Fedor Part, Iddo Tzameret
Resolution with Counting: Lower Bounds over Different Moduli. Electron. Colloquium Comput. Complex. 25 (2018)
Fedor Part, Iddo Tzameret
Resolution with Counting: Lower Bounds over Different Moduli. CoRR (2018)
Fedor Part, Zhaohui Luo
Semi-simplicial Types in Logic-enriched Homotopy Type Theory. CoRR (2015)