BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Stefan Szeider
SearchCollections
Map detail
Stefan Szeider13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipStefan SzeiderAStefan SzeiderResearcherLimits of PreprocessingWLimits of Preprocessingpreprint / 2011Not So Easy Problems for Tree Decomposable GraphsWNot So Easy Problems fo...preprint / 2011Are Hitting Formulas Hard for Resolution?WAre Hitting Formulas Ha...preprint / 2022Turbocharging Treewidth-Bounded Bayesian Network Structure LearningWTurbocharging Treewidth...preprint / 2021Augmenting Tractable Fragments of Abstract ArgumentationWAugmenting Tractable Fr...preprint / 2011Kernels for Global ConstraintsWKernels for Global Cons...preprint / 2011Computing Resolution-Path Dependencies in Linear TimeWComputing Resolution-Pa...preprint / 2012Strong Backdoors to Bounded Treewidth SATWStrong Backdoors to Bou...preprint / 2012Algorithms and Complexity Results for Exact Bayesian Structure LearningWAlgorithms and Complexi...preprint / 2012Strong Backdoors to Nested SatisfiabilityWStrong Backdoors to Nes...preprint / 2012Backdoors to Acyclic SATWBackdoors to Acyclic SATpreprint / 2012Backdoors to SatisfactionWBackdoors to Satisfactionpreprint / 2011
Person12 links

Stefan Szeider

Researcher

PaperLimits of PreprocessingAuthorship / preprint / 2011PaperNot So Easy Problems for Tree Decomposable GraphsAuthorship / preprint / 2011PaperAre Hitting Formulas Hard for Resolution?Authorship / preprint / 2022PaperTurbocharging Treewidth-Bounded Bayesian Network Structure LearningAuthorship / preprint / 2021PaperAugmenting Tractable Fragments of Abstract ArgumentationAuthorship / preprint / 2011PaperKernels for Global ConstraintsAuthorship / preprint / 2011PaperComputing Resolution-Path Dependencies in Linear TimeAuthorship / preprint / 2012PaperStrong Backdoors to Bounded Treewidth SATAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)