I've read a few papers (searched by Google Scholar) about $(2+p)$-SAT, but they're all quite old (2001 and earlier). Do newer publications exist? I'm looking for solvers, theorems and so on. I want to examine this topic thoroughly.
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.Sign up to join this community