EasyChair Smart SlideHelp/Log in
Author: Martin Suda

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

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

Hints for AVATAR

Martin Suda

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

Martin Suda

Presentations in this collection: 7
Copyright © 2002 – 2020 EasyChair