Name Card

Full name Familienname, Vorname
Szeider, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 201 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
2Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023
3Peitl-2023-Discrete Applied Mathematics-vor.pdf.jpgPeitl, Tomáš ; Szeider, Stefan Are hitting formulas hard for resolution?Article Artikel 15-Oct-2023
4Ramaswamy-2023-Proven Optimally-Balanced Latin Rectangles with SAT-vor.pdf.jpgRamaswamy, Vaidyanathan Peruvemba ; Szeider, Stefan Proven Optimally-Balanced Latin Rectangles with SATInproceedings Konferenzbeitrag 22-Sep-2023
5Zhang-2023-Searching for Smallest Universal Graphs and Tournaments with SAT-vor.pdf.jpgZhang, Tianwei ; Szeider, Stefan Searching for Smallest Universal Graphs and Tournaments with SATInproceedings Konferenzbeitrag 22-Sep-2023
6Dreier-2023-Constraints-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP beyond tractable constraint languagesArticle Artikel Sep-2023
7Kirchweger-2023-A SAT Solvers Opinion on the Erdos-Faber-Lovasz Conjecture-vor.pdf.jpgKirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan A SAT Solver's Opinion on the Erdos-Faber-Lovász ConjectureInproceedings Konferenzbeitrag 9-Aug-2023
82023-SAT-Based Generation of Planar Graphs-vor.pdf.jpgMarkus Kirchweger ; Scheucher, Manfred ; Stefan Szeider SAT-Based Generation of Planar GraphsInproceedings Konferenzbeitrag 9-Aug-2023
9Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023
10Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan On the parameterized complexity of clustering problems for incomplete dataArticle Artikel Jun-2023
11Fichte-2023-Communications of the ACM-vor.pdf.jpgFichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan The silent (r)evolution of SATArticle Artikel Jun-2023
12Szeider, Stefan Isomorph-Free Generation of Combinatorial Objects with SAT Modulo SymmetriesPresentation Vortrag18-Apr-2023
13Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan The Computational Complexity of Concise Hypersphere ClassificationInproceedings Konferenzbeitrag 2023
14Eiben, Eduard ; Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan Learning Small Decision Trees with Large DomainInproceedings Konferenzbeitrag 2023
15Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set ProblemInproceedings Konferenzbeitrag 2023
16Reichl-2023-Circuit Minimization with QBF-Based Exact Synthesis-vor.pdf.jpgReichl, Franz-Xaver ; Slivovsky, Friedrich ; Szeider, Stefan Circuit Minimization with QBF-Based Exact SynthesisInproceedings Konferenzbeitrag 2023
17Reichl, Franz Xaver ; Slivovsky, Friedrich ; Szeider, Stefan Circuit Minimization with Exact Synthesis: From QBF Back to SATInproceedings Konferenzbeitrag 2023
18Schidler-2023-Computing Twin-width with SAT and Branch Bound-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing Twin-width with SAT and Branch & BoundInproceedings Konferenzbeitrag 2023
19Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan Co-Certificate Learning with SAT Modulo SymmetriesInproceedings Konferenzbeitrag 2023
20Ordyniak, Sebastian ; Paesani, Giacomo ; Szeider, Stefan The Parameterized Complexity of Finding Concise Local ExplanationsInproceedings Konferenzbeitrag 2023

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 25 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Breitenbrunner Manuel - 2023 - Certifying Unsatisfiability in an Expansion-Based...pdf.jpgBreitenbrunner, Manuel Certifying unsatisfiability in an expansion-based DQBF solverThesis Hochschulschrift 2023
2Kirchweger Markus - 2023 - Dynamic Symmetry Breaking for SAT-Encodings of...pdf.jpgKirchweger, Markus Dynamic symmetry breaking for SAT-encodings of combinatorial problemsThesis Hochschulschrift 2023
3Peruvemba Ramaswamy Vaidyanathan - 2023 - Scalable Bayesian Network Structure...pdf.jpgPeruvemba Ramaswamy, Vaidyanathan Scalable Bayesian network structure learning using SAT-based methodsThesis Hochschulschrift 2023
4Schidler Andre - 2023 - Scalability for SAT-based combinatorial problem solving.pdf.jpgSchidler, André Scalability for SAT-based combinatorial problem solvingThesis Hochschulschrift 2023
5Szeider, Stefan ; Ganian, Robert ; Silva, Alexandra 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)Proceedings Konferenzband22-Aug-2022
6Ganian, Robert ; Kratochvíl, Jan ; Szeider, Stefan Preface: Ninth workshop on graph classes, optimization, and Width Parameters, Vienna, AustriaBook Contribution Buchbeitrag15-May-2022
7Peitl Tomas - 2019 - Advanced dependency analysis for QBF.pdf.jpgPeitl, Tomáš Advanced dependency analysis for QBFThesis Hochschulschrift 2019
8Lodha Neha - 2018 - SAT approach for decomposition methods.pdf.jpgLodha, Neha SAT approach for decomposition methodsThesis Hochschulschrift 2018
9Eiben Eduard - 2018 - Exploiting new types of structure for fixed-parameter...pdf.jpgEiben, Eduard Exploiting new types of structure for fixed-parameter tractabilityThesis Hochschulschrift 2018
10Dittmer Verena - 2018 - Strukturelle Parameter von ILP und MILP -Instanzen aus...pdf.jpgDittmer, Verena Strukturelle Parameter von ILP und MILP -Instanzen aus der PraxisThesis Hochschulschrift 2018
11Haan Ronald de - 2016 - Parameterized complexity in the polynomial hierarchy.pdf.jpgHaan, Ronald de Parameterized complexity in the polynomial hierarchyThesis Hochschulschrift 2016
12Parlak Aykut - 2016 - A SAT spproach to clique-width of a digraph and an...pdf.jpgParlak, Aykut A SAT spproach to clique-width of a digraph and an application on model counting problemsThesis Hochschulschrift 2016
13Slivovsky Friedrich - 2015 - Structure in SAT and QBF.pdf.jpgSlivovsky, Friedrich Structure in #SAT and QBFThesis Hochschulschrift 2015
14Lackner Martin - 2014 - Detecting structure in permutations and preferences.pdf.jpgLackner, Martin Detecting structure in permutations and preferencesThesis Hochschulschrift 2014
15Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Declarative Dynamic Programming as an Alternative Realization of Courcelle’s TheoremKonferenzbeitrag Inproceedings 2013
16Kucera, Antonin ; Potapov, Igor ; Ciabattoni, Agata ; Szeider, Stefan ; Freivalds, Rusins MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123Konferenzband Proceedings 2013
17Gutin, Gregory ; Szeider, Stefan Parameterized and Exact Computation, 8th International Symposium, IPEC 2013 (LNCS 8246)Konferenzband Proceedings2013
18Kim, Eun Jung ; Ordyniak, Sebastian Valued-Based Argumentation for Tree-like Value GraphsKonferenzbeitrag Inproceedings 2012
19Egly, Uwe ; Creignou, Nadia ; Schmidt, Johannes Complexity of logic-based argumentation in Schaefer's frameworkKonferenzbeitrag Inproceedings 2012
20Dvorak, Wolfgang ; Spanring, Christof Comparing the Expressiveness of Argumentation SemanticsKonferenzbeitrag Inproceedings 2012