Hans-Jörg Schurr

According to our database, Hans-Jörg Schurr authored at least 8 papers between 2017 and 2022.

Collaborative distances:

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

2022

Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy Schedules. (Consolidation des solveurs SMT pour les assistants de preuve: preuves, simplification des quantificateurs, planification de stratégies).

Hans-Jörg Schurr

PhD thesis, 2022

Optimal Strategy Schedules for Everyone.

Hans-Jörg Schurr

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

2021

Alethe: Towards a Generic SMT Proof Format (extended abstract).

Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine

Proceedings of the Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, 2021

Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant.

Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021

Quantifier Simplification by Unification in SMT.

Pascal Fontaine, Hans-Jörg Schurr

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant.

Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais

Proceedings of the Automated Deduction - CADE 28, 2021

2019

Reconstructing veriT Proofs in Isabelle/HOL.

Mathias Fleury, Hans-Jörg Schurr

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

2017

Capability Discovery for Automated Reasoning Systems.

Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017