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.
SEAN-ELYSEES; O'Brien believes Ireland can take control again in Paris
Approximating the value of two prover proof systems, with applications to MAX 2SAT and MAX DICUT.
Convex Quadratic and Semidefinite Programming Relaxations in Scheduling
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.
Proof Verification and the Hardness of Approximation Problems
Acronyms browser ?
Full browser ?