international-conference-on-theory-and-applications-of-satisfiability-testing
Use when targeting International Conference on Theory and Applications of Satisfiability Testing (SAT) or deciding whether a computer-science manuscript fits this venue. Encodes conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for satisfiability.