2SAT

AcronymDefinition
2SAT2-Satisfiability (Boolean satisfiability problem expressed in 2CNF form)
References in periodicals archive ?
The results showed that the karyotype formula of tuber mustard was 2n=2x=36=18 m (2SAT)+12sm+6st.
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.