Hans-Jörg Schurr

12 papers A 1B 1Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2026 — conf
Exploring the SMT-LIB Benchmark Library.
TACAS (1)
Hans-Jörg Schurr, François Bobot, Mathias Preiner, Aina Niemetz, Clark W. Barrett, Pascal Fontaine, Cesare Tinelli
2025 B conf
Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL.
ITP
Hanna Lachnitt, Mathias Fleury, Haniel Barbosa, Jibiana Jakpor, Bruno Andreotti, Andrew Reynolds, Hans-Jörg Schurr, Clark W. Barrett, Cesare Tinelli
2025 — conf
Looking for Signs: Reasoning About FOBNNs Using SAT.
CMSB
Hans-Jörg Schurr, Athénaïs Vaginay
2025 J jnl
Looking for Signs: Reasoning About FOBNNs Using SAT.
CoRR
Hans-Jörg Schurr, Athénaïs Vaginay
2022 — conf
Optimal Strategy Schedules for Everyone.
PAAR@IJCAR
Hans-Jörg Schurr
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
2021 — conf
Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant.
SMT
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
2021 — conf
Alethe: Towards a Generic SMT Proof Format (extended abstract).
PxTP
Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, Pascal Fontaine
2021 — conf
Quantifier Simplification by Unification in SMT.
FroCoS
Pascal Fontaine, Hans-Jörg Schurr
2021 A conf
Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant.
CADE
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
2019 — conf
Reconstructing veriT Proofs in Isabelle/HOL.
PxTP
Mathias Fleury, Hans-Jörg Schurr
2017 — conf
Capability Discovery for Automated Reasoning Systems.
IWIL@LPAR
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller