Johannes Tantow

According to our database¹, Johannes Tantow authored at least 4 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

PLS-complete problems with lexicographic cost functions: Max-<i>k</i>-SAT and Abelian Permutation Orbit Minimization.

[BibT_eX]

[DOI]

CoRR, October, 2025

knowsys/CertifyingDatalog.

[BibT_eX]

[DOI]

Dataset, September, 2025

Verifying Datalog Reasoning with Lean.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

PLS-Completeness of String Permutations.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual European Symposium on Algorithms, 2025