Long-Distance Q(D^std)-Consensus Is Sound.

Abhimanyu Choudhury, Meena Mahajan, Friedrich Slivovsky

Browse the full SAT paper archive.