Items where authors include "Suda, M"

Article

Beyersdorff, O orcid.org/0000-0002-2870-1648, Blinkhorn, J, Chew, L et al. (2 more authors) (2019) Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. Journal of Automated Reasoning, 63 (3). pp. 597-623. ISSN 0168-7433

Proceedings Paper

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Schmidt, RA et al. (1 more author) (2016) Lifting QBF Resolution Calculi to DQBF. In: Theory and Applications of Satisfiability Testing – SAT 2016 ( Lecture Notes in Computer Science ). 19th International Conference on Theory and Applications of Satisfiability Testing, 05-08 Jul 2016, Bordeaux, France. Springer Verlag , pp. 490-499. ISBN 978-3-319-40969-6