{"id":"W1541525032","doi":"10.1007/11527695_25","title":"Fifty-Five Solvers in Vancouver: The SAT 2004 Competition","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":44,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Competition (biology); Computer science; Event (particle physics); Operations research; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00337921,0.002435576,0.001942941,0.00246456,0.003771587,0.007731009,0.003987222,0.002535477,0.1003546],"category_scores_gemma":[0.006014963,0.001235091,0.001315156,0.007134472,0.00111019,0.002063353,0.003431645,0.003281289,0.04380924],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006209523,"about_ca_system_score_gemma":0.009981299,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.08930811,"about_ca_topic_score_gemma":0.337927,"domain_scores_codex":[0.9978697,0.0004637491,0.00009934598,0.0003098193,0.0008205398,0.0004368177],"domain_scores_gemma":[0.9960185,0.000641796,0.00005485579,0.0002976943,0.001345779,0.00164145],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002309649,0.0001251474,0.0005049109,0.0001948056,0.00004416714,0.00004365382,0.00006475497,0.002765623,0.0003225349,0.002807497,0.9259867,0.06690921],"study_design_scores_gemma":[0.0005334467,0.0002010514,0.003977804,0.000264872,0.00006699729,0.0001308019,0.0005218638,0.01703787,0.001734422,0.01562618,0.9598448,0.00005979418],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.07086892,0.03651443,0.03433817,0.03614113,0.01533192,0.0008178711,0.03783423,0.01949695,0.7486565],"genre_scores_gemma":[0.1532554,0.01546327,0.04662611,0.005125446,0.001720724,0.0003681854,0.120412,0.007760175,0.6492687],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1003546,"threshold_uncertainty_score":0.3357195,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008528507595670216,"score_gpt":0.2171496943903909,"score_spread":0.2086211867947207,"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."}}