Phase Transition for Random Quantified XOR-Formulas
N. Creignou, H. Daude, U. Egly
TL;DR
This paper investigates the phase transition phenomenon in random quantified XOR formulas, providing a detailed analysis for instances with one quantifier alternation, advancing understanding of this complex logical problem.
Contribution
It offers a detailed description of the phase transition in random QXORSAT with one quantifier alternation, combining practical and theoretical insights.
Findings
Identifies the phase transition point for QXORSAT with one quantifier alternation
Provides a theoretical framework for understanding the transition
Enhances understanding of quantified logical formula satisfiability
Abstract
The QXORSAT problem is the quantified version of the satisfiability problem XORSAT in which the connective exclusive-or is used instead of the usual or. We study the phase transition associated with random QXORSAT instances. We give a description of this phase transition in the case of one alternation of quantifiers, thus performing an advanced practical and theoretical study on the phase transition of a quantified roblem.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.