Stefan Szeider

5

Papers

7

Total Citations

Papers (5)

A General Theoretical Framework for Learning Smallest Interpretable Models

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

Breaking Symmetries in Quantified Graph Search: A Comparative Study

10725 SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Learning Small Decision Trees for Data of Low Rank-Width