Maximally flexible solutions of a random K-satisfiability formula.
Sign Up to like & getrecommendations! Published in 2020 at "Physical review. E"
DOI: 10.1103/physreve.102.012301
Abstract: Random K-satisfiability (K-SAT) is a paradigmatic model system for studying phase transitions in constraint satisfaction problems and for developing empirical algorithms. The statistical properties of the random K-SAT solution space have been extensively investigated, but… read more here.
Keywords: maximally flexible; random satisfiability; flexible solutions; satisfiability formula ... See more keywords