Hendrik Leidinger

According to our database, Hendrik Leidinger authored at least 5 papers between 2022 and 2025.

Collaborative distances:

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

2025

SCL(EQ): Simple clause learning in first-order logic with equality. (SCL(EQ) : Apprentissage de clauses simples en logique du premier ordre avec égalité).

Hendrik Leidinger

PhD thesis, 2025

Computing Ground Congruence Classes.

Hendrik Leidinger, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Non-Ground Congruence Closure.

Hendrik Leidinger, Christoph Weidenbach

CoRR, 2024

2023

KBO Constraint Solving Revisited.

Yasmine Briefs, Hendrik Leidinger, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022

SCL(EQ): SCL for First-Order Logic with Equality.

Hendrik Leidinger, Christoph Weidenbach

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022