scholarly journals Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT)

2021 ◽  
Vol 104 (6) ◽  
Author(s):  
Raimel Medina ◽  
Maksym Serbyn
Keyword(s):  
Satisfiability Problem ◽  
Quantum Annealing ◽  
Duality Approach ◽  
Exclusive Or

scholarly journals Phase Transition for Random Quantified XOR-Formulas

2007 ◽  
Vol 29 ◽  
pp. 1-18 ◽  
Author(s):  
N. Creignou ◽  
H. Daude ◽  
U. Egly
Keyword(s):  
Phase Transition ◽  
Theoretical Study ◽  
Satisfiability Problem ◽  
Exclusive Or

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.

Algorithm for generating optimal tests for exclusive-or networks

1991 ◽  
Vol 138 (2) ◽  
pp. 93 ◽  
Author(s):  
W.H. Debany ◽  
C.R.P. Hartmann ◽  
T.J. Snethen
Keyword(s):  
Optimal Tests ◽  
Exclusive Or

scholarly journals Simplest randomK-satisfiability problem

2001 ◽  
Vol 63 (2) ◽  
Author(s):  
Federico Ricci-Tersenghi ◽  
Martin Weigt ◽  
Riccardo Zecchina
Keyword(s):  
Satisfiability Problem
Sign in / Sign up

Export Citation Format

Share Document