Popularity-similarity random SAT formulas.

Jesús Giráldez-Cru Jordi Levy

Published in: Artif. Intell. (2021)

Keyphrases

random sat
phase transition
satisfiability problem
sat problem
boolean satisfiability
random constraint satisfaction problems
knowledge representation
logic programs
particle swarm optimization
randomly generated
random sat instances