Author of the publication

The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability.

, , , , and . SODA, page 42-53. SIAM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Escaping Local Optima Using Crossover with Emergent Diversity, , , , , , , and . IEEE Transactions on Evolutionary Computation, (August 2017)Crossover for Cardinality Constrained Optimization., , , , , , and . ACM Trans. Evol. Learn. Optim., 3 (2): 5:1-5:32 (June 2023)Efficiently Generating Geometric Inhomogeneous and Hyperbolic Random Graphs., , , , , and . CoRR, (2019)The Complexity of Dependency Detection and Discovery in Relational Databases., , and . CoRR, (2021)Computing Voronoi Diagrams in the Polar-Coordinate Model of the Hyperbolic Plane., , and . CoRR, (2021)Deep Distance Sensitivity Oracles., , , , , , and . CoRR, (2022)Greed is Good for Deterministic Scale-Free Networks., , and . Algorithmica, 82 (11): 3338-3389 (2020)The complexity of dependency detection and discovery in relational databases., , and . Theor. Comput. Sci., (2022)Efficiently Approximating Vertex Cover on Scale-Free Networks with Underlying Hyperbolic Geometry., , and . ESA, volume 204 of LIPIcs, page 20:1-20:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Color-blind 3-Approximation for Chromatic Correlation Clustering and Improved Heuristics., , , , , and . KDD, page 882-891. ACM, (2021)