A Hike in the Phases of the 1-in-3 Satisfiability

Elitza Maneva, Talya Meltzer, Jack Raymond +2

We summarise our results for the random $\epsilon$--1-in-3 satisfiability problem, where $\epsilon$ is a probability of negation of the variable. We employ both rigorous and heuristic methods to…