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.
Karyotype Analysis of Tuber Mustard (Brassica juncea Var. Tumida Tsen and Lee) in China
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 ?