scientific article; zbMATH DE number 5547881

MaRDI QIDQ3624065zbMATH OpenFDO

Authors Nadia Creignou, Hervé Daudé, Uwe Egly

Publication date 28 April 2009

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

zbMATH Keywords

QXORSAT problem

Mathematics Subject Classification ID

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

Recommendations

• New Results on the Phase Transition for Random Quantified Boolean Formulas
• Satisfiability threshold for random XOR-CNF formulas
• Approximating the Satisfiability Threshold for Random k-XOR-formulas
• Phase transition in a system of random sparse Boolean equations
• scientific article; zbMATH DE number 1305521
• The phase transition in random horn satisfiability and its algorithmic implications
• Random 2 XORSAT phase transition
• Critical Behavior in the Satisfiability of Random Boolean Expressions
• Constructing an asymptotic phase transition in random binary constraint satisfaction problems

Cited in

(7)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624065)