Nadia Creignou et al.: Approximating The Satisfiability Threshold For Random K-Xor-Formulas. (2003)journals/cpc/CreignouDD0310.1017/S0963548302005552Approximating The Satisfiability Threshold For Random K-Xor-Formulas.3Nadia Creignou1Hervé Daudé2Olivier Dubois 00023113-126Comb. Probab. Comput.Comb. Probab. Comput.1222003provenance information for RDF data of dblp record 'journals/cpc/CreignouDD03'2020-03-12T15:55:56+0100