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.

Dominik Scheder
SearchCollections
Map detail
Dominik Scheder10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDominik SchederADominik SchederResearcherUsing a Skewed Hamming Distance to Speed Up Deterministic Local SearchWUsing a Skewed Hamming ...preprint / 2010Unsatisfiable CNF Formulas need many ConflictsWUnsatisfiable CNF Formu...preprint / 2010PPZ For More Than Two Truth Values - An Algorithm for Constraint Satisfaction ProblemsWPPZ For More Than Two T...preprint / 2010Unsatisfiable Linear CNF Formulas Are Large and ComplexWUnsatisfiable Linear CN...preprint / 2010A Full Derandomization of Schoening's k-SAT AlgorithmWA Full Derandomization ...preprint / 2010Using CSP To Improve Deterministic 3-SATWUsing CSP To Improve De...preprint / 2010In Defense of Bureaucracy in the Metric Facility Location ProblemWIn Defense of Bureaucra...preprint / 2012Improving PPSZ for 3-SAT using Critical VariablesWImproving PPSZ for 3-SA...preprint / 2011A New Bound for 3-Satisfiable MaxSat and its Algorithmic ApplicationWA New Bound for 3-Satis...preprint / 2012
Person9 links

Dominik Scheder

Researcher

PaperUsing a Skewed Hamming Distance to Speed Up Deterministic Local SearchAuthorship / preprint / 2010PaperUnsatisfiable CNF Formulas need many ConflictsAuthorship / preprint / 2010PaperPPZ For More Than Two Truth Values - An Algorithm for Constraint Satisfaction ProblemsAuthorship / preprint / 2010PaperUnsatisfiable Linear CNF Formulas Are Large and ComplexAuthorship / preprint / 2010PaperA Full Derandomization of Schoening's k-SAT AlgorithmAuthorship / preprint / 2010PaperUsing CSP To Improve Deterministic 3-SATAuthorship / preprint / 2010PaperIn Defense of Bureaucracy in the Metric Facility Location ProblemAuthorship / preprint / 2012PaperImproving PPSZ for 3-SAT using Critical VariablesAuthorship / preprint / 2011

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)