{"id":"W1497380692","doi":"10.1007/3-540-44886-1_13","title":"Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Probabilistic logic; Computer science; Boolean satisfiability problem; Smoothing; Scheduling (production processes); Local search (optimization); Mathematical optimization; Job shop scheduling; Extension (predicate logic); Scaling; Algorithm; Theoretical computer science; Mathematics; Artificial intelligence; Schedule","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008001126,0.0003806922,0.000369918,0.0006145372,0.0003031507,0.0005622515,0.000920422,0.0002784913,0.00001469007],"category_scores_gemma":[0.00009670304,0.0003611452,0.00008099976,0.0004280447,0.0008869346,0.0004112063,0.0003967736,0.0005109156,0.00000670207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003529091,"about_ca_system_score_gemma":0.0004260766,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007594972,"about_ca_topic_score_gemma":0.00005548103,"domain_scores_codex":[0.997152,0.00003849085,0.0004155737,0.001298947,0.0005748299,0.0005202143],"domain_scores_gemma":[0.9981394,0.0006284298,0.0001429417,0.0006325163,0.0002823879,0.0001742996],"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.000005327064,0.00001187069,0.00002907007,0.00007390352,0.000007136211,0.00001199071,0.0004208123,0.1584605,0.00003235127,0.03027935,0.000004424761,0.8106632],"study_design_scores_gemma":[0.0002901429,0.00008216994,0.0000811032,0.0001827986,0.000007351916,0.00007787815,3.789746e-7,0.929679,0.0001225394,0.06865261,0.0004259766,0.0003980141],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009657381,0.0002052628,0.9963742,0.001082728,0.0009045256,0.0006997591,0.000006164684,0.0001258991,0.0005048194],"genre_scores_gemma":[0.2095911,0.00005426803,0.7884293,0.001499995,0.00009555673,0.00001797128,0.00001534971,0.00004149624,0.0002550542],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8102652,"threshold_uncertainty_score":0.9998841,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01504701950392558,"score_gpt":0.2494931095287464,"score_spread":0.2344460900248208,"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."}}