Tobias Gehl

According to our database, Tobias Gehl authored at least 1 paper in 2022.

Collaborative distances:

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

2022

A Two-Watched Literal Scheme for First-Order Logic.

Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022