{"id":"W3192289992","doi":"10.1111/coin.12438","title":"Improving stochastic local search for uniform <scp><i>k</i>‐SAT</scp> by generating appropriate initial assignment","year":2021,"lang":"en","type":"article","venue":"Computational Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Nutrasource","funders":"Fundamental Research Funds for the Central Universities; National Natural Science Foundation of China","keywords":"Heuristics; Random variable; Local search (optimization); Heuristic; Algorithm; Computer science; Variable (mathematics); Mathematical optimization; Mathematics; Statistics","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.001239537,0.0006298741,0.0008175786,0.0007503483,0.0003440654,0.0006742021,0.001381706,0.0005781174,0.00284033],"category_scores_gemma":[0.003156912,0.0003147481,0.0006394699,0.00102065,0.0008071601,0.00064613,0.001212227,0.0008438886,0.0006564632],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000900168,"about_ca_system_score_gemma":0.001450979,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004263562,"about_ca_topic_score_gemma":0.004908064,"domain_scores_codex":[0.9991496,0.0003926386,0.000032839,0.0001509687,0.0001656116,0.000108375],"domain_scores_gemma":[0.9984902,0.0009064634,0.000132746,0.0001775627,0.000209886,0.00008319766],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001629135,0.0001690161,0.0007858975,0.0001097042,0.00004389837,0.00006006717,0.00005120458,0.9199789,0.003007436,0.01346015,0.00338864,0.05878212],"study_design_scores_gemma":[0.00002219681,0.00003221226,0.00005759793,0.000004773864,0.000005369513,0.000007170444,0.000006624725,0.997126,0.0008523458,0.001596058,0.0002867753,0.000002832786],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1233036,0.0004250368,0.8634489,0.0002749006,0.00005848664,0.0001502801,0.0001454265,0.003042746,0.009150612],"genre_scores_gemma":[0.7039633,0.000132204,0.2923822,0.0002246293,0.00002739279,0.0002032669,0.0004865464,0.0003358486,0.00224468],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004263562,"threshold_uncertainty_score":0.009501874,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02984284784506302,"score_gpt":0.2886217986190427,"score_spread":0.2587789507739797,"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."}}