Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Szeider
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j84]André Schidler, Stefan Szeider:
Computing optimal hypertree decompositions with SAT. Artif. Intell. 325: 104015 (2023)- [j83]Johannes Klaus Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider:
The Silent (R)evolution of SAT. Commun. ACM 66(6): 64-72 (2023) - [j82]Jan Dreier
, Sebastian Ordyniak, Stefan Szeider:
CSP beyond tractable constraint languages. Constraints An Int. J. 28(3): 450-471 (2023) - [j81]Tomás Peitl, Stefan Szeider:
Are hitting formulas hard for resolution? Discret. Appl. Math. 337: 173-184 (2023) - [j80]Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider:
On the parameterized complexity of clustering problems for incomplete data. J. Comput. Syst. Sci. 134: 1-19 (2023) - [j79]André Schidler, Stefan Szeider:
SAT-boosted Tabu Search for Coloring Massive Graphs. ACM J. Exp. Algorithmics 28: 1.5:1-1.5:19 (2023) - [c148]Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
Circuit Minimization with QBF-Based Exact Synthesis. AAAI 2023: 4087-4094 - [c147]Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity. AAAI 2023: 6363-6371 - [c146]Tianwei Zhang, Stefan Szeider:
Searching for Smallest Universal Graphs and Tournaments with SAT. CP 2023: 39:1-39:20 - [c145]Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider:
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper). CP 2023: 48:1-48:10 - [c144]Eduard Eiben, Robert Ganian, Iyad A. Kanj, Sebastian Ordyniak, Stefan Szeider:
The Computational Complexity of Concise Hypersphere Classification. ICML 2023: 9060-9070 - [c143]Markus Kirchweger, Tomás Peitl, Stefan Szeider:
Co-Certificate Learning with SAT Modulo Symmetries. IJCAI 2023: 1944-1953 - [c142]André Schidler, Stefan Szeider:
Computing Twin-width with SAT and Branch & Bound. IJCAI 2023: 2013-2021 - [c141]Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider:
Learning Small Decision Trees with Large Domain. IJCAI 2023: 3184-3192 - [c140]Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider:
The Parameterized Complexity of Finding Concise Local Explanations. IJCAI 2023: 3312-3320 - [c139]Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere:
IPASIR-UP: User Propagators for CDCL. SAT 2023: 8:1-8:13 - [c138]Markus Kirchweger, Tomás Peitl, Stefan Szeider:
A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture. SAT 2023: 13:1-13:17 - [c137]Markus Kirchweger, Manfred Scheucher, Stefan Szeider:
SAT-Based Generation of Planar Graphs. SAT 2023: 14:1-14:18 - [i74]Markus Kirchweger, Tomás Peitl, Stefan Szeider:
Co-Certificate Learning with SAT Modulo Symmetries. CoRR abs/2306.10427 (2023) - 2022
- [j78]Robert Ganian, Jan Kratochvíl, Stefan Szeider:
Preface: Ninth workshop on graph classes, optimization, and Width Parameters, Vienna, Austria. Discret. Appl. Math. 312: 1-2 (2022) - [j77]Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider:
Sum-of-Products with Default Values: Algorithms and Complexity Results. J. Artif. Intell. Res. 73: 535-552 (2022) - [j76]Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider:
Threshold Treewidth and Hypertree Width. J. Artif. Intell. Res. 74: 1687-1713 (2022) - [j75]Robert Ganian, Eun Jung Kim, Stefan Szeider:
Algorithmic Applications of Tree-Cut Width. SIAM J. Discret. Math. 36(4): 2635-2666 (2022) - [c136]Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran:
Tractable Abstract Argumentation via Backdoor-Treewidth. AAAI 2022: 5608-5615 - [c135]André Schidler, Stefan Szeider:
A SAT Approach to Twin-Width. ALENEX 2022: 67-77 - [c134]Jan Dreier, Sebastian Ordyniak, Stefan Szeider:
CSP Beyond Tractable Constraint Languages. CP 2022: 20:1-20:17 - [c133]Jan Dreier, Sebastian Ordyniak, Stefan Szeider:
SAT Backdoors: Depth Beats Size. ESA 2022: 46:1-46:18 - [c132]Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider:
Finding a Cluster in Incomplete Data. ESA 2022: 47:1-47:14 - [c131]Markus Kirchweger, Manfred Scheucher, Stefan Szeider:
A SAT Attack on Rota's Basis Conjecture. SAT 2022: 4:1-4:18 - [c130]Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider:
Weighted Model Counting with Twin-Width. SAT 2022: 15:1-15:17 - [c129]Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider:
Learning large Bayesian networks with expert constraints. UAI 2022: 1592-1601 - [e6]Stefan Szeider, Robert Ganian, Alexandra Silva:
47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria. LIPIcs 241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-256-3 [contents] - [i73]Jan Dreier, Sebastian Ordyniak, Stefan Szeider:
SAT Backdoors: Depth Beats Size. CoRR abs/2202.08326 (2022) - [i72]Robert Ganian, Eun Jung Kim, Stefan Szeider:
Algorithmic Applications of Tree-Cut Width. CoRR abs/2206.00752 (2022) - [i71]Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider:
Weighted Model Counting with Twin-Width. CoRR abs/2206.01706 (2022) - [i70]Tomás Peitl, Stefan Szeider:
Are Hitting Formulas Hard for Resolution? CoRR abs/2206.15225 (2022) - [i69]André Schidler, Robert Ganian, Manuel Sorge, Stefan Szeider:
Threshold Treewidth and Hypertree Width. CoRR abs/2210.07040 (2022) - 2021
- [j74]Robert Ganian, Stefan Szeider:
New width parameters for SAT and #SAT. Artif. Intell. 295: 103460 (2021) - [j73]Tomás Peitl, Stefan Szeider:
Finding the Hardest Formulas for Resolution. J. Artif. Intell. Res. 72: 69-97 (2021) - [c128]Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider:
Turbocharging Treewidth-Bounded Bayesian Network Structure Learning. AAAI 2021: 3895-3903 - [c127]André Schidler, Stefan Szeider:
SAT-based Decision Tree Learning for Large Data Sets. AAAI 2021: 3904-3912 - [c126]Sebastian Ordyniak, Stefan Szeider:
Parameterized Complexity of Small Decision Tree Learning. AAAI 2021: 6454-6462 - [c125]Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider:
The Parameterized Complexity of Clustering Incomplete Data. AAAI 2021: 7296-7304 - [c124]Markus Kirchweger, Stefan Szeider:
SAT Modulo Symmetries for Graph Generation. CP 2021: 34:1-34:16 - [c123]Sebastian Ordyniak, André Schidler, Stefan Szeider:
Backdoor DNFs. IJCAI 2021: 1403-1409 - [c122]André Schidler, Stefan Szeider:
Computing Optimal Hypertree Decompositions with SAT. IJCAI 2021: 1418-1424 - [c121]Tomás Peitl, Stefan Szeider:
Finding the Hardest Formulas for Resolution (Extended Abstract). IJCAI 2021: 4814-4818 - [c120]Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider:
Learning Fast-Inference Bayesian Networks. NeurIPS 2021: 17852-17863 - [c119]Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
Certified DQBF Solving by Definition Extraction. SAT 2021: 499-517 - [p3]Marko Samer, Stefan Szeider:
Fixed-Parameter Tractability. Handbook of Satisfiability 2021: 693-736 - [i68]Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CoRR abs/2103.03607 (2021) - [i67]Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
Certified DQBF Solving by Definition Extraction. CoRR abs/2106.02550 (2021) - [i66]André Schidler, Stefan Szeider:
A SAT Approach to Twin-Width. CoRR abs/2110.06146 (2021) - 2020
- [j72]Robert Ganian, Ronald de Haan, Iyad Kanj, Stefan Szeider:
On Existential MSO and Its Relation to ETH. ACM Trans. Comput. Theory 12(4): 22:1-22:32 (2020) - [c118]Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider:
On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank. AAAI 2020: 3906-3913 - [c117]André Schidler, Stefan Szeider:
Computing Optimal Hypertree Decompositions. ALENEX 2020: 1-11 - [c116]Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
A Time Leap Challenge for SAT-Solving. CP 2020: 267-285 - [c115]Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
Breaking Symmetries with RootClique and LexTopSort. CP 2020: 286-303 - [c114]Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider:
MaxSAT-Based Postprocessing for Treedepth. CP 2020: 478-495 - [c113]Tomás Peitl, Stefan Szeider:
Finding the Hardest Formulas for Resolution. CP 2020: 514-530 - [c112]Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider:
Threshold Treewidth and Hypertree Width. IJCAI 2020: 1898-1904 - [c111]Robert Ganian, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. KR 2020: 392-402 - [c110]Laura Kovács, Hanna Lachnitt, Stefan Szeider:
Formalizing Graph Trail Properties in Isabelle/HOL. CICM 2020: 190-205 - [c109]Friedrich Slivovsky, Stefan Szeider:
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth. SAT 2020: 267-276 - [c108]Ankit Shukla, Friedrich Slivovsky, Stefan Szeider:
Short Q-Resolution Proofs with Homomorphisms. SAT 2020: 412-428 - [i65]P. R. Vaidyanathan, Stefan Szeider:
Turbocharging Treewidth-Bounded Bayesian Network Structure Learning. CoRR abs/2006.13843 (2020) - [i64]Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
A Time Leap Challenge for SAT Solving. CoRR abs/2008.02215 (2020)
2010 – 2019
- 2019
- [j71]Ronald de Haan, Stefan Szeider:
A Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy. Algorithms 12(9): 188 (2019) - [j70]Daniël Paulusma, Stefan Szeider:
On the parameterized complexity of (k, s)-SAT. Inf. Process. Lett. 143: 34-36 (2019) - [j69]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Dependency Learning for QBF. J. Artif. Intell. Res. 65: 180-208 (2019) - [j68]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Long-Distance Q-Resolution with Dependency Schemes. J. Autom. Reason. 63(1): 127-155 (2019) - [j67]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Qute in the QBF Evaluation 2018. J. Satisf. Boolean Model. Comput. 11(1): 261-272 (2019) - [j66]Neha Lodha, Sebastian Ordyniak, Stefan Szeider:
A SAT Approach to Branchwidth. ACM Trans. Comput. Log. 20(3): 15:1-15:24 (2019) - [c107]Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider:
SAT-Encodings for Treecut Width and Treedepth. ALENEX 2019: 117-129 - [c106]Robert Ganian, Sebastian Ordyniak, Stefan Szeider:
A Join-Based Hybrid Parameter for Constraint Satisfaction. CP 2019: 195-212 - [c105]Eduard Eiben, Robert Ganian, Iyad Kanj, Stefan Szeider:
The Parameterized Complexity of Cascading Portfolio Scheduling. NeurIPS 2019: 7666-7676 - [c104]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Combining Resolution-Path Dependencies with Dependency Learning. SAT 2019: 306-318 - [c103]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Proof Complexity of Fragments of Long-Distance Q-Resolution. SAT 2019: 319-335 - [i63]Robert Ganian, Sebastian Ordyniak, Stefan Szeider:
A Join-Based Hybrid Parameter for Constraint Satisfaction. CoRR abs/1907.12335 (2019) - [i62]Eduard Eiben, Robert Ganian, Iyad Kanj, Sebastian Ordyniak, Stefan Szeider:
On Clustering Incomplete Data. CoRR abs/1911.01465 (2019) - [i61]Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider:
SAT-Encodings for Treecut Width and Treedepth. CoRR abs/1911.12995 (2019) - 2018
- [j65]Eduard Eiben, Robert Ganian, Stefan Szeider:
Solving Problems on Graphs of High Rank-Width. Algorithmica 80(2): 742-771 (2018) - [j64]Eduard Eiben, Robert Ganian, Stefan Szeider:
Meta-kernelization using well-structured modulators. Discret. Appl. Math. 248: 153-167 (2018) - [c102]Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider:
An SMT Approach to Fractional Hypertree Width. CP 2018: 109-127 - [c101]Holger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Portfolio-Based Algorithm Selection for Circuit QBFs. CP 2018: 195-209 - [c100]Robert Ganian, Iyad A. Kanj, Sebastian Ordyniak, Stefan Szeider:
Parameterized Algorithms for the Matrix Completion Problem. ICML 2018: 1642-1651 - [c99]Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider:
Sum-of-Products with Default Values: Algorithms and Complexity Results. ICTAI 2018: 733-737 - [c98]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Polynomial-Time Validation of QCDCL Certificates. SAT 2018: 253-269 - [i60]Robert Ganian, Iyad A. Kanj, Sebastian Ordyniak, Stefan Szeider:
Parameterized Algorithms for the Matrix Completion Problem. CoRR abs/1804.03423 (2018) - 2017
- [j63]Moritz Müller, Stefan Szeider:
The treewidth of proofs. Inf. Comput. 255: 147-164 (2017) - [j62]Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivný:
Backdoors into heterogeneous classes of SAT and CSP. J. Comput. Syst. Sci. 85: 38-56 (2017) - [j61]Ronald de Haan, Stefan Szeider:
Parameterized complexity classes beyond para-NP. J. Comput. Syst. Sci. 87: 16-57 (2017) - [j60]Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. ACM Trans. Algorithms 13(2): 29:1-29:32 (2017) - [j59]Ronald de Haan, Iyad A. Kanj, Stefan Szeider:
On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances. ACM Trans. Comput. Log. 18(3): 21:1-21:46 (2017) - [c97]M. S. Ramanujan, Stefan Szeider:
Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable. AAAI 2017: 3929-3935 - [c96]Neha Lodha, Sebastian Ordyniak, Stefan Szeider:
A SAT Approach to Branchwidth. IJCAI 2017: 4894-4898 - [c95]Johannes Klaus Fichte, Stefan Szeider:
Backdoor Trees for Answer Set Programming. ASPOCP@LPNMR 2017 - [c94]Simone Bova, Stefan Szeider:
Circuit Treewidth, Sentential Decision, and Query Compilation. PODS 2017: 233-246 - [c93]Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Backdoor Treewidth for SAT. SAT 2017: 20-37 - [c92]Robert Ganian, Stefan Szeider:
New Width Parameters for Model Counting. SAT 2017: 38-52 - [c91]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Dependency Learning for QBF. SAT 2017: 298-313 - [c90]Johannes Klaus Fichte, Neha Lodha, Stefan Szeider:
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. SAT 2017: 401-411 - [c89]Neha Lodha, Sebastian Ordyniak, Stefan Szeider:
SAT-Encodings for Special Treewidth and Pathwidth. SAT 2017: 429-445 - [c88]Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Combining Treewidth and Backdoors for CSP. STACS 2017: 36:1-36:17 - [p2]Serge Gaspers, Sebastian Ordyniak, Stefan Szeider:
Backdoor Sets for CSP. The Constraint Satisfaction Problem 2017: 137-157 - [i59]Simone Bova, Stefan Szeider:
Circuit Treewidth, Sentential Decision, and Query Compilation. CoRR abs/1701.04626 (2017) - [i58]Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider:
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). Dagstuhl Reports 7(9): 62-85 (2017) - 2016
- [j58]Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh, Stefan Szeider:
Backdoors to q-Horn. Algorithmica 74(1): 540-557 (2016) - [j57]Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider:
Model Counting for CNF Formulas of Bounded Modular Treewidth. Algorithmica 76(1): 168-194 (2016) - [j56]Friedrich Slivovsky, Stefan Szeider:
Quantifier Reordering for QBF. J. Autom. Reason. 56(4): 459-477 (2016) - [j55]Robert Ganian, Friedrich Slivovsky, Stefan Szeider:
Meta-kernelization with structural parameters. J. Comput. Syst. Sci. 82(2): 333-346 (2016) - [j54]Friedrich Slivovsky, Stefan Szeider:
Soundness of Q-resolution with dependency schemes. Theor. Comput. Sci. 612: 83-101 (2016) - [j53]Simone Bova, Robert Ganian, Stefan Szeider:
Quantified conjunctive queries on partially ordered sets. Theor. Comput. Sci. 618: 72-84 (2016) - [j52]Simone Bova, Robert Ganian, Stefan Szeider:
Model Checking Existential Logic on Partially Ordered Sets. ACM Trans. Comput. Log. 17(2): 10 (2016) - [c87]Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Backdoors to Tractable Valued CSP. CP 2016: 233-250 - [c86]Robert Ganian, Martin Kalany, Stefan Szeider, Jesper Larsson Träff:
Polynomial-Time Construction of Optimal MPI Derived Datatype Trees. IPDPS 2016: 638-647 - [c85]Ronald de Haan, Stefan Szeider:
Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. KR 2016: 453-462 - [c84]Robert Ganian, Ronald de Haan, Iyad A. Kanj, Stefan Szeider:
On Existential MSO and its Relation to ETH. MFCS 2016: 42:1-42:14 - [c83]Neha Lodha, Sebastian Ordyniak, Stefan Szeider:
A SAT Approach to Branchwidth. SAT 2016: 179-195 - [c82]Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Long Distance Q-Resolution with Dependency Schemes. SAT 2016: 500-518 - [c81]Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. SODA 2016: 1670-1681 - [r2]Stefan Szeider:
Parameterized SAT. Encyclopedia of Algorithms 2016: 1530-1532 - [i57]Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Combining Treewidth and Backdoors for CSP. CoRR abs/1610.03298 (2016) - [i56]Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Backdoors to Tractable Valued CSP. CoRR abs/1612.05733 (2016) - 2015
- [j51]Johannes Klaus Fichte, Stefan Szeider:
Backdoors to tractable answer set programming. Artif. Intell. 220: 64-103 (2015) - [j50]Gregory Z. Gutin, Stefan Szeider:
Guest Editorial: Special Issue on Parameterized and Exact Computation. Algorithmica 71(3): 539-540 (2015) - [j49]Ronald de Haan, Iyad A. Kanj, Stefan Szeider:
On the Subexponential-Time Complexity of CSP. J. Artif. Intell. Res. 52: 203-234 (2015) - [j48]