{"slug":"brycewang-stanford-international-conference-on-theory-and-applications-of-satisfiability-testing","source_name":"brycewang-stanford/international-conference-on-theory-and-applications-of-satisfiability-testing","name":"Brycewang Stanford/International Conference On Theory And Applications Of Satisfiability Testing","description":"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.","version":1,"lift":{"pass_rate_delta_pts":26.09,"pass_rate_pct":78.3,"total_cases":23,"passed_cases":18,"tokens_delta_pct":55.5,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-09-02T12:58:47.307043+00:00"},"skill_score":0.7826,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":26.09,"with_pass_pct":78.3,"without_pass_pct":52.2,"tokens_delta_pct":55.5,"turns_delta_pct":0,"total_cases":23,"cases_aggregated":23,"verdict":"mixed","never_hurt":false,"completed_at":"2026-09-02T12:58:47.307043+00:00","run_id":"2dc3d9b3-6299-4d23-9b9c-8a476f85f9f3","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"MIT","install_count":0,"manifest_hash":"eb5f51edaeb4f10f2464c7a050928c0dc0b2ac7be4e66d260580fbbee6e96242","raw_url":"https://app.decimal.ai/s/brycewang-stanford-international-conference-on-theory-and-applications-of-satisfiability-testing/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-international-conference-on-theory-and-applications-of-satisfiability-testing"}