Author: Martin Suda

Author: Martin Suda

This page shows all presentations of this author published in EasyChair Smart Slide.

Vampire's Question Answering Revis(it)ed Again

Vampire's Question Answering Revis(it)ed Again

Regularization in Spider-Style Strategy Discovery and Schedule Construction

Regularization in Spider-Style Strategy Discovery and Schedule Construction

Filip Bártek, Karel Chvalovský and Martin Suda

How Much Should This Symbol Weigh? a GNN-Advised Clause Selection

How Much Should This Symbol Weigh? a GNN-Advised Clause Selection

Filip Bártek and Martin Suda

Vampire Getting Noisy: Will Random Bits Help Conquer Chaos?

Vampire Getting Noisy: Will Random Bits Help Conquer Chaos?

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E

ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E

Karel Chvalovský, Jan Jakubuv, Martin Suda and Josef Urban

Hints for AVATAR

ENIGMA Given Clause Guidance

ENIGMA Given Clause Guidance

Karel Chvalovský, Jan Jakubuv, Martin Suda and Josef Urban

Towards Smarter MACE-style Model Finders

Towards Smarter MACE-style Model Finders

Mikolas Janota and Martin Suda

A Theory of Satisfiability-Preserving Proofs in SAT Solving

A Theory of Satisfiability-Preserving Proofs in SAT Solving

Adrián Rebola Pardo and Martin Suda

Local Soundness for QBF Calculi

Local Soundness for QBF Calculi

Martin Suda and Bernhard Gleiss

Towards the Semantics of QBF Clauses

Towards the Semantics of QBF Clauses

Presentations in this collection: 11