Derandomizing HSSW Algorithm for 3-SAT
Derandomizing the Isolation Lemma and Lower Bounds for Circuit Size
Detecting palindromes, patterns, and borders in regular languages
Determining All Maximum Uniquely Restricted Matching in Bipartite Graphs
Deterministic 2^{O(n)} Algorithms for M-Ellipsoids, Lattice Problems and Volume Estimation
Deterministic Black-Box Identity Testing $π$-Ordered Algebraic Branching Programs
Deterministic Construction of an Approximate M-Ellipsoid and its Application to Derandomizing Lattice Algorithms
Deterministic Function Computation with Chemical Reaction Networks
Deterministic Identity Testing of Read-Once Algebraic Branching Programs
Dichotomy for tree-structured trigraph list homomorphism problems
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems
Dichotomy Theorems for Alternation-Bounded Quantified Boolean Formulas
Differential Recursion and Differentially Algebraic Functions
Dimension and Relative Frequencies
Dimension Extractors and Optimal Decompression
Dimension in Complexity Classes
Dimensions of Copeland-Erdos Sequences
Disjointness is hard in the multi-party number on the forehead model
Dispersion of Mass and the Complexity of Randomized Geometric Algorithms
Distance Constraint Satisfaction Problems