68 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Virginia TechUS2 papers
- Carl von Ossietzky Universität OldenburgDE1 paper
- Max Planck Institute for Mathematics in the SciencesDE1 paper
- Stockholm UniversitySE1 paper
- The University of Texas at AustinUS1 paper
- University of BirminghamGB1 paper
- University of GothenburgSE1 paper
- Zhejiang Sci-Tech UniversityCN1 paper
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2022★ 3 cited
PPSZ is better than you think
Dominik Scheder
PPSZ, for long time the fastest known algorithm for -SAT, works by going through the variables of the input formula in random order; each variable is then set randomly to or…
cs.DS2013★ 15 cited
Aircraft Landing Problem: Efficient Algorithm for a Given Landing Sequence
Abhishek Awasthi, Oliver Kramer, Jörg Lässig
In this paper, we investigate a special case of the static aircraft landing problem (ALP) with the objective to optimize landing sequences and landing times for a set of air planes…