This page shows all presentations of this author published in EasyChair Smart Slide.
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
Karel Chvalovský, Jan Jakubuv, Martin Suda and Josef Urban
Hints for AVATAR
Martin Suda
ENIGMA Given Clause Guidance
Towards Smarter MACE-style Model Finders
Mikolas Janota and Martin Suda
A Theory of Satisfiability-Preserving Proofs in SAT Solving
Adrián Rebola Pardo and Martin Suda
Local Soundness for QBF Calculi
Martin Suda and Bernhard Gleiss
Towards the Semantics of QBF Clauses