Publication:3624065
From MaRDI portal
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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Exact location of the phase transition for random (1,2)-QSAT, Random 2-XORSAT at the Satisfiability Threshold, A general model and thresholds for random constraint satisfaction problems, 2-Xor revisited: satisfiability and probabilities of functions, Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability, Analytic description of the phase transition of inhomogeneous multigraphs, New Results on the Phase Transition for Random Quantified Boolean Formulas