An early sign of satisfiability.

Eliezer L. Lozinskii

Published in: CoRR (2016)

Keyphrases

satisfiability problem
phase transition
np complete
website
search algorithm
expressive power
american sign language