Learn More
We study EC3, a variant of Exact Cover which is equivalent to Positive 1-in-3 SAT. Random instances of EC3 were recently used as benchmarks for simulations of an adiabatic quantum algorithm. Empirical results suggest that EC3 has a phase transition from satisfiabil-ity to unsatisfiability when the ratio r of clauses to variables exceeds some threshold r * ≈(More)
  • 1