2SAT

AcronymDefinition
2SAT2-Satisfiability (Boolean satisfiability problem expressed in 2CNF form)
References in periodicals archive ?
STANDS PWDL FAPts England 1 0 0 15 9 2 France 11002321 2 Ireland 101616 1 Wales 10101616 1 Italy 100121230 Scotland 10 0 1 9 15 0 GAMES TO COME Round 2SAT, 2.
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.