{"id":"W2042388146","doi":"10.1109/ecai.2013.6636212","title":"More evidence that SRHD-SGI produces hard SAT instances","year":2013,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"MacEwan University","funders":"","keywords":"Encoding (memory); Computer science; Solver; Algorithm; Scheme (mathematics); Theoretical computer science; Parallel computing; Mathematics; Artificial intelligence; 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.0029736,0.0006791322,0.0006367617,0.0006505247,0.0006196555,0.00197186,0.001692027,0.001167493,0.01544963],"category_scores_gemma":[0.02561327,0.0003956061,0.001006432,0.001795778,0.001371245,0.00283061,0.001627971,0.002990873,0.002271243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001243751,"about_ca_system_score_gemma":0.0008880736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008692945,"about_ca_topic_score_gemma":0.001507953,"domain_scores_codex":[0.995271,0.001343357,0.0002673713,0.0008435387,0.001843955,0.0004306507],"domain_scores_gemma":[0.9683376,0.02064449,0.001236661,0.007327534,0.002011226,0.0004424369],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003454788,0.003202362,0.03095162,0.004313412,0.0009281911,0.001497384,0.001105558,0.1675507,0.1312527,0.2630965,0.07905712,0.3135898],"study_design_scores_gemma":[0.0009037249,0.001905116,0.01666568,0.0002633227,0.0002959015,0.002501643,0.0008107256,0.506471,0.2655611,0.152772,0.05171181,0.0001379901],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6889868,0.0009062067,0.1975508,0.004655551,0.0006067375,0.0003658439,0.007904178,0.007540499,0.09148331],"genre_scores_gemma":[0.8595405,0.0002214703,0.1162319,0.001169856,0.00007353244,0.000152954,0.01296466,0.001386223,0.008258881],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01544963,"threshold_uncertainty_score":0.05168408,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0695353267414304,"score_gpt":0.2721627018800113,"score_spread":0.2026273751385809,"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."}}