Phase Transition for Maximum Not-All-Equal Satisfiability.

Junping Zhou, Shuli Hu, Tingting Zou, Minghao Yin

Browse the full FAW paper archive.