{"id":"W1984853564","doi":"10.1016/s0004-3702(01)00151-5","title":"Local search characteristics of incomplete SAT procedures","year":2001,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":90,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Maxima and minima; Weighting; Local search (optimization); Descent (aeronautics); Computer science; Mathematical optimization; Linear search; Mathematics; Algorithm; Artificial intelligence; Engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001883961,0.00008786216,0.0001230636,0.0001085497,0.00008542923,0.00006629685,0.0003619337,0.00004344547,0.0001586185],"category_scores_gemma":[0.00009104061,0.00008724732,0.00004109109,0.0004676417,0.0001584132,0.000237102,0.0001003477,0.00009530167,0.0001687763],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002591616,"about_ca_system_score_gemma":0.0001037994,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005286291,"about_ca_topic_score_gemma":0.00008575604,"domain_scores_codex":[0.9989676,0.00004008409,0.0003496692,0.0002235099,0.0002313965,0.0001877731],"domain_scores_gemma":[0.9993275,0.00008068798,0.00007876271,0.0002564258,0.0001868955,0.00006976198],"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.00001739539,0.00005878888,0.003964273,0.00001451618,0.000006502678,0.000009593444,0.0006018879,0.002663611,0.002330594,0.1814992,0.00002012699,0.8088135],"study_design_scores_gemma":[0.00003693921,0.0001749712,0.03147284,0.00006165062,0.000007316013,0.00007438603,0.0004710605,0.873495,0.07085121,0.0222414,0.000764386,0.0003488098],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05780605,0.00001091671,0.9404442,0.0007069555,0.0001944858,0.000101238,0.000002479107,0.00007244054,0.0006612394],"genre_scores_gemma":[0.9889168,0.00004196765,0.0108244,0.0001294394,0.00003765797,0.000003557601,0.000003785309,0.000004809631,0.0000376481],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9311107,"threshold_uncertainty_score":0.3557843,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05189737654584579,"score_gpt":0.2973862910330178,"score_spread":0.2454889144871721,"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."}}