@inproceedings{4e0aef001c08471482c26cd424226a5c,
title = "Hidden threshold phenomena for fixed-density SAT-formulae",
keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, Conf.proc. > 3 pag",
author = "{van Maaren}, H and {van Norden}, L",
year = "2003",
language = "Undefined/Unknown",
publisher = "s.n.",
pages = "98--107",
editor = "s.n.",
booktitle = "SAT 2003 Sixed international conference on theory and applications of satisfiability testing",
note = "Sixth international conference on theory and applications of satisfiability testing, Portofino, Italy ; Conference date: 05-05-2003 Through 08-05-2003",
}