Martin Suda

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Mizar 60 for Mizar 50	2024-11-26	Paper
Vampire getting noisy: Will random bits help conquer chaos? (system description)	2022-12-07	Paper
Layered clause selection for theory reasoning (short paper)	2022-11-09	Paper
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)	2022-11-09	Paper
Testing a Saturation-Based Theorem Prover: Experiences and Challenges	2022-07-01	Paper
Vampire with a brain is a good ITP hammer	2022-03-24	Paper
SAT competition 2020	2021-12-13	Paper
Improving ENIGMA-style clause selection while learning from history	2021-12-01	Paper
Neural precedence recommender	2021-12-01	Paper
Introduction: Fundamental Principles of Quantum Random Number Generation with Beam Splitters	2020-07-01	Paper
Quantum Random Number Generation	2020-07-01	Paper
Symmetry avoidance in MACE-style finite model finding	2020-05-13	Paper
ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)	2020-03-10	Paper
Unification with abstraction and theory instantiation in saturation-based reasoning	2019-09-16	Paper
Reinterpreting dependency schemes: soundness meets incompleteness in DQBF	2019-09-02	Paper
A Theory of Satisfiability-Preserving Proofs in SAT Solving	2019-07-04	Paper
Towards Smarter MACE-style Model Finders	2019-07-04	Paper
Blocked Clauses in First-Order Logic	2019-01-10	Paper
Local soundness for QBF calculi	2018-08-10	Paper
A unifying principle for clause elimination in first-order logic	2017-09-22	Paper
Splitting proofs for interpolation	2017-09-22	Paper
Selecting the Selection	2016-09-05	Paper
Lifting QBF Resolution Calculi to DQBF	2016-09-05	Paper
Finding Finite Models in Multi-sorted First-Order Logic	2016-09-05	Paper
Playing with AVATAR	2015-12-02	Paper
Variable and clause elimination for LTL satisfiability checking	2015-10-30	Paper
Property Directed Reachability for Automated Planning	2014-06-23	Paper
A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance	2012-09-05	Paper
Labelled Superposition for PLTL	2012-06-15	Paper
On the Saturation of YAGO	2010-09-14	Paper
A NOVEL ATTACK STRATEGY ON ENTANGLEMENT SWAPPING QKD PROTOCOLS	2008-11-17	Paper

Research outcomes over time

This page was built for person: Martin Suda