The Satisfiability Threshold For Random Linear Equations.

Peter J. Ayre Amin Coja-Oghlan Pu Gao Noëla Müller

Published in: Comb. (2020)

Keyphrases

linear equations
satisfiability problem
linear systems
phase transition
np complete
complex valued
propositional logic
threshold selection
gauss seidel method
random constraint satisfaction problems
computational complexity
sufficient conditions
mathematical model
constraint satisfaction