The 3-XORSAT threshold.

From MaRDI portal
Publication:1565907

DOI10.1016/S1631-073X(02)02563-3zbMath1038.68052OpenAlexW2126120616MaRDI QIDQ1565907

Jacques Mandler, Olivier Dubois

Publication date: 27 May 2003

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1631-073x(02)02563-3




Related Items (max. 100)

Many hard examples in exact phase transitionsMaximum matchings in random bipartite graphs and the space utilization of Cuckoo Hash tablesSatisfiability Thresholds beyond k −XORSATCombinatorial sharpness criterion and phase transition classification for random CSPsAn efficient approach to solving random \(k\)-SAT problemsUpper-bounding the \(k\)-colorability threshold by counting coversThe scaling window of the model \(d\)-\(k\)-CSPLower bounds on the chromatic number of random graphsThe number of satisfying assignments of random 2‐SAT formulasOne-step replica symmetry breaking of random regular NAE-SAT. IIRandom 2 XORSAT phase transitionThe asymptotic \(k\)-SAT thresholdThe Satisfiability Threshold fork-XORSATNetwork models: structure and function. Abstracts from the workshop held December 10--16, 2017Random subcubes as a toy model for constraint satisfaction problemsPairs of SAT-assignments in random Boolean formulæThe satisfiability threshold for random linear equationsUnnamed ItemA case study in programming a quantum annealer for hard operational planning problemsUnnamed ItemUnnamed ItemSharp thresholds for constraint satisfaction problems and homomorphismsMinors of a random binary matroidGeometrical organization of solutions to random linear Boolean equationsThe set of solutions of random XORSAT formulaeOn the uniformity of the approximation for $r$-associated Stirling numbers of the second KindExact thresholds for DPLL on random XOR-SAT and NP-complete extensions of XOR-SATThe condensation transition in random hypergraph 2-coloringThe replica symmetric phase of random constraint satisfaction problemsFast scalable construction of ([compressed static | minimal perfect hash) functions] ⋮ Random MAX SAT, random MAX CUT, and their phase transitionsWhen does the giant component bring unsatisfiability?Unnamed ItemUnnamed Item



Cites Work


This page was built for publication: The 3-XORSAT threshold.