Phase Transition for Random Quantified XOR-Formulas

Details Phase Transition for Random Quantified XOR-Formulas Phase Transition for Random Quantified XOR-Formulas

2011-10-12

arxiv.org/abs/1110.2739v1

Journal Of Artificial Intelligence Research, Volume 29, pages 1-18, 2007

Computer Science

Artificial Intelligence

Scientific paper

10.1613/jair.2120

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.

Affiliated with

Also associated with

No associations

Rating

Phase Transition for Random Quantified XOR-Formulas does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Phase Transition for Random Quantified XOR-Formulas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Phase Transition for Random Quantified XOR-Formulas will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-634602