André Lanka

Available identifiers

zbMath Open lanka.andreMaRDI QIDQ706612

List of research outcomes

Publication	Date of Publication	Type
Finding Planted Partitions in Random Graphs with General Degree Distributions	2010-12-03	Paper
Certifying unsatisfiability of random \(2k\)-SAT formulas using approximation techniques.	2010-04-20	Paper
The spectral gap of random graphs with given expected degrees	2010-03-26	Paper
The Spectral Gap of Random Graphs with Given Expected Degrees	2009-03-12	Paper
Recognizing more random unsatisfiable 3-SAT instances efficiently	2007-05-29	Paper
Strong Refutation Heuristics for Random k-SAT	2007-03-20	Paper
Algorithms and Computation	2005-12-22	Paper
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques	2005-08-25	Paper
Techniques from combinatorial approximation algorithms yield efficient algorithms for random 2\(k\)-SAT	2005-02-09	Paper

Research outcomes over time

This page was built for person: André Lanka