{"id":"W2911534100","doi":"","title":"Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing","year":2004,"lang":"en","type":"article","venue":"Theory and Applications of Satisfiability Testing","topic":"Multi-Criteria Decision Making","field":"Decision Sciences","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University; University of British Columbia","funders":"","keywords":"Satisfiability; Computer science; Theoretical computer science; Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00828847,0.00157807,0.002963156,0.002332092,0.001086941,0.007096747,0.002498361,0.002393191,0.02991711],"category_scores_gemma":[0.01342769,0.0008922737,0.002049794,0.002107628,0.002911796,0.004446982,0.002286758,0.004923188,0.005403816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002331528,"about_ca_system_score_gemma":0.003133298,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004284677,"about_ca_topic_score_gemma":0.004129018,"domain_scores_codex":[0.9950863,0.002013691,0.0003848695,0.0006440429,0.001536254,0.0003349489],"domain_scores_gemma":[0.989611,0.005471617,0.0002668394,0.001460364,0.002471879,0.0007182938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0008649342,0.0005266036,0.001645849,0.0007579548,0.000384255,0.000480034,0.0005242,0.0154687,0.005294068,0.1804701,0.1844068,0.6091766],"study_design_scores_gemma":[0.0001845193,0.0004476861,0.002319131,0.0007365928,0.0003361976,0.001039397,0.0003341475,0.1399861,0.005234677,0.2977433,0.5515062,0.0001321112],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01205186,0.06386793,0.7813469,0.01442702,0.03415942,0.0003155432,0.0005673562,0.00101179,0.09225216],"genre_scores_gemma":[0.1988154,0.06201309,0.5285864,0.004256598,0.02887857,0.0007444901,0.003869802,0.001265024,0.1715706],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02991711,"threshold_uncertainty_score":0.1000828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1140515835733223,"score_gpt":0.3873354442747253,"score_spread":0.2732838607014031,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}