QBF

Sum-of-Products with Default Values: Algorithms and Complexity Results
Journal of Artificial Intelligence Research, volume 33, pages 535-552, 2022.
PDF Cite Project Project
Combining Resolution-Path Dependencies with Dependency Learning
2019, Technical report AC-TR-19-005, Algorithms and Complexity Group, TU Wien.
PDF Cite
Combining Resolution-Path Dependencies with Dependency Learning
Proceedings of SAT 2019, the 22nd International Conference on Theory and Applications of Satisfiability Testing, July 7–12, 2019, Lisbon, Portugal (Mikoláš Janota and Inês Lynce), volume 11628 of Lecture Notes in Computer Science, pages 306-318, 2019, Springer Verlag.
Cite DOI
Long-Distance Q-Resolution with Dependency Schemes
Journal of Automated Reasoning, volume 63, number 1, pages 127-155, 2019.
PDF Cite DOI
Proof Complexity of Fragments of Long-Distance Q-resolution
2019, Technical report AC-TR-19-004, Algorithms and Complexity Group, TU Wien.
PDF Cite
Proof Complexity of Fragments of Long-Distance Q-resolution
Proceedings of SAT 2019, the 22nd International Conference on Theory and Applications of Satisfiability Testing, July 7–12, 2019, Lisbon, Portugal (Mikoláš Janota and Inês Lynce), volume 11628 of Lecture Notes in Computer Science, pages 319-335, 2019, Springer Verlag.
Cite DOI
Polynomial-Time Validation of QCDCL Certificates
Proceedings of SAT 2018, the 21st International Conference on Theory and Applications of Satisfiability Testing, Part of FLoC 2018, July 9–12, 2018, Oxford, UK (Olaf Beyersdorff and Christoph M. Wintersteiger), volume 10929 of Lecture Notes in Computer Science, pages 253-269, 2018, Springer Verlag.
PDF Cite DOI
Portfolio-Based Algorithm Selection for Circuit QBFs
Proceedings of CP 2018, the 24rd International Conference on Principles and Practice of Constraint Programming (John N. Hooker), volume 11008 of Lecture Notes in Computer Science, pages 195-209, 2018, Springer Verlag.
Cite DOI
Sum-of-Products with Default Values: Algorithms and Complexity Results
Proceedings of ICTAI 2018, the 30th IEEE International Conference on Tools with Artificial Intelligence (Lefteri H. Tsoukalas and Éric Grégoire and Miltiadis Alamaniotis), pages 733-737, 2018, IEEE.
PDF Cite DOI
Long-Distance Q-Resolution with Dependency Schemes
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 298-313, 2017, Springer Verlag.
PDF Cite DOI