scientific article

zbMath1182.68232arXiv1110.2739MaRDI QIDQ3624065

Nadia Creignou, Hervé Daudé, Uwe Egly

Publication date: 28 April 2009

Full work available at URL: https://arxiv.org/abs/1110.2739

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

QXORSAT problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (7)

Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability ⋮ A general model and thresholds for random constraint satisfaction problems ⋮ New Results on the Phase Transition for Random Quantified Boolean Formulas ⋮ 2-Xor revisited: satisfiability and probabilities of functions ⋮ Random 2-XORSAT at the Satisfiability Threshold ⋮ Exact location of the phase transition for random (1,2)-QSAT ⋮ Analytic description of the phase transition of inhomogeneous multigraphs

This page was built for publication: