Publication:3624065
From MaRDI portal
zbMath1182.68232arXiv1110.2739MaRDI QIDQ3624065
Uwe Egly, Nadia Creignou, Hervé Daudé
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
Random 2-XORSAT at the Satisfiability Threshold, A general model and thresholds for random constraint satisfaction problems, Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability, New Results on the Phase Transition for Random Quantified Boolean Formulas