Search results for "Heidi Gebauer"

Found 19 publication records. Showing 19 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Heidi Gebauer	On the clique-game.	Eur. J. Comb.	2012	DBLP DOI BibTeX RDF
1	Tobias Christ, Andrea Francke, Heidi Gebauer, Jirí Matousek, Takeaki Uno	A Doubly Exponentially Crumbled Cake.	Electronic Notes in Discrete Mathematics	2011	DBLP DOI BibTeX RDF
1	Heidi Gebauer	Finding and enumerating Hamilton cycles in 4-regular graphs.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Heidi Gebauer	Enumerating all Hamilton Cycles and Bounding the Number of Hamilton Cycles in 3-Regular Graphs.	Electr. J. Comb.	2011	DBLP BibTeX RDF
1	Tobias Christ, Andrea Francke, Heidi Gebauer, Jirí Matousek, Takeaki Uno	A Doubly Exponentially Crumbled Cake	CoRR	2011	DBLP BibTeX RDF
1	Heidi Gebauer, Anna Gundert, Robin A. Moser, Yoshio Okamoto	Not All Saturated 3-Forests Are Tight	CoRR	2011	DBLP BibTeX RDF
1	Heidi Gebauer, Tibor Szabó, Gábor Tardos	The Local Lemma is Tight for SAT.	SODA	2011	DBLP BibTeX RDF
1	Heidi Gebauer	Maker Can Construct a Sparse Graph on a Small Board	CoRR	2010	DBLP BibTeX RDF
1	Heidi Gebauer, Tibor Szabó, Gábor Tardos	The Local Lemma Is Tight for SAT	CoRR	2010	DBLP BibTeX RDF
1	Heidi Gebauer, Yoshio Okamoto	Fast Exponential-Time Algorithms for the Forest Counting and the Tutte Polynomial Computation in Graph Classes.	Int. J. Found. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Heidi Gebauer, Tibor Szabó	Asymptotic random graph intuition for the biased connectivity game.	Random Struct. Algorithms	2009	DBLP DOI BibTeX RDF
1	Heidi Gebauer	Construction of a Non-2-colorable k-uniform Hypergraph with Few Edges	CoRR	2009	DBLP BibTeX RDF
1	Heidi Gebauer	Disproof of the Neighborhood Conjecture with Implications to SAT	CoRR	2009	DBLP BibTeX RDF
1	Heidi Gebauer	A Strategy for Maker in the Clique Game which Helps to Tackle some Open Problems by Beck	CoRR	2009	DBLP BibTeX RDF
1	Heidi Gebauer	Disproof of the Neighborhood Conjecture with Implications to SAT.	ESA	2009	DBLP DOI BibTeX RDF
1	Heidi Gebauer, Robin A. Moser, Dominik Scheder, Emo Welzl	The Lovász Local Lemma and Satisfiability.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
1	Heidi Gebauer	Disproving the Neighborhood Conjecture	CoRR	2008	DBLP BibTeX RDF
1	Heidi Gebauer	Unsatisfiable (k,(4*2^k/k))-CNF formulas	CoRR	2008	DBLP BibTeX RDF
1	Heidi Gebauer, Yoshio Okamoto	Fast Exponential-Time Algorithms for the Forest Counting in Graph Classes.	CATS	2007	DBLP BibTeX RDF

Publications of "Heidi Gebauer" ( http://dblp.L3S.de/Authors/Heidi_Gebauer )