Fedor Part

According to our database, Fedor Part authored at least 5 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Resolution with Counting: Lower Bounds for Proofs of Membership in the Complement of a Linear Map Image of the Boolean Cube.

Fedor Part

CoRR, 2022

2021

Resolution with Counting: Dag-Like Lower Bounds and Different Moduli.

Fedor Part, Iddo Tzameret

Comput. Complex., 2021

First-Order Reasoning and Efficient Semi-Algebraic Proofs.

Fedor Part, Neil Thapen, Iddo Tzameret

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2018

Resolution with Counting: Lower Bounds over Different Moduli.

Fedor Part, Iddo Tzameret

Electron. Colloquium Comput. Complex., 2018

2015

Semi-simplicial Types in Logic-enriched Homotopy Type Theory.

Fedor Part, Zhaohui Luo

CoRR, 2015