Dominik Scheder

Available identifiers

zbMath Open scheder.dominikDBLP56/6665WikidataQ64167617 ScholiaQ64167617MaRDI QIDQ1728404

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6147535	2024-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5875593	2023-02-03	Paper
Recent studies of agent incentives in Internet resource allocation and pricing	2022-08-01	Paper
Super strong ETH is true for PPSZ with small resolution width	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5111416	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111139	2020-05-26	Paper
PPSZ for k ≥ 5: More Is Better	2019-12-16	Paper
Exponential Lower Bounds for the PPSZ k-SAT Algorithm	2019-05-15	Paper
Recent studies of agent incentives in internet resource allocation and pricing	2019-02-22	Paper
Cryptogenography	2017-05-19	Paper
A full derandomization of schöning's k-SAT algorithm	2014-06-05	Paper
Trivial, Tractable, Hard. A Not So Sudden Complexity Jump in Neighborhood Restricted CNF Formulas	2014-01-14	Paper
Unsatisfiable CNF Formulas contain Many Conflicts	2014-01-14	Paper
On the Average Sensitivity and Density of k-CNF Formulas	2013-10-04	Paper
In Defense of Bureaucracy in the Metric Facility Location Problem	2012-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q3113688	2012-01-23	Paper
Unsatisfiable Linear CNF Formulas Are Large and Complex.	2012-01-23	Paper
The Lovász Local Lemma and Satisfiability	2009-11-12	Paper
Satisfiability with Exponential Families	2009-03-10	Paper
Partial Satisfaction of k-Satisfiable Formulas	2008-06-05	Paper
How Many Conflicts Does It Need to Be Unsatisfiable?	2008-05-27	Paper
Guided Search and a Faster Deterministic Algorithm for 3-SAT	2008-04-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominik Scheder