domains / families / research / international-conference-on-theory-and-applications-of-satisfiability-testing

international-conference-on-theory-and-applications-of-satisfiability-testing

separate

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.

When to use

• SAT solving
• MaxSAT
• SMT interfaces
• proof complexity
• encodings
• solver engineering
• conference-fit read
• re-framing from journal or arXiv style

When not to use

• broader constraint programming
• formal verification tooling
• knowledge-representation formalisms
• AI contributions broader than SAT
• substitute for current year's CFP
• substitute for author kit
• substitute for ethics policy
• substitute for submission portal

Skill page

Source