2SAT - What does 2SAT stand for? The Free Dictionary
References in periodicals archive
The results showed that the karyotype formula of tuber mustard was 2n=2x=36=18 m (2SAT
Approximating the value of two prover proof systems, with applications to MAX 2SAT
and MAX DICUT.
The class of MAX SNP-hard problems includes MAX 2SAT
, MAX CUT, vertex cover [Papadimitriou and Yannakakis 1991], metric TSP [Papadimitriou and Yannakakis 1993], Steiner tree [Bern and Plassmann 1989], shortest superstrings [Blum et al.