{"id":"W1551380792","doi":"10.1007/978-3-642-14186-7_23","title":"Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Benchmark (surveying); Computer science; Variable (mathematics); Generalization; Satisfiability; Weighting; Selection (genetic algorithm); Algorithm; Software; Theoretical computer science; Artificial intelligence; Mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002589455,0.0005763964,0.0005579547,0.0008500285,0.0007108821,0.0007728697,0.003446129,0.0004781887,0.00002497785],"category_scores_gemma":[0.0006281174,0.0004866571,0.0001206565,0.0008519124,0.0004991295,0.001377294,0.00108741,0.001285066,0.00001630392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003335769,"about_ca_system_score_gemma":0.001277311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002719762,"about_ca_topic_score_gemma":0.00004011043,"domain_scores_codex":[0.9960976,0.0000625641,0.0005875425,0.00180991,0.0006350441,0.0008073376],"domain_scores_gemma":[0.9952693,0.00141403,0.0004676472,0.002192949,0.0003814409,0.0002746198],"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.00001426705,0.0000186658,0.000007431431,0.00005842715,0.00001503833,0.000003445394,0.0005111364,0.02256254,0.01393997,0.03417653,0.000009770431,0.9286827],"study_design_scores_gemma":[0.0003074645,0.0002727778,0.00003370379,0.0007005532,0.00002232934,0.00008197485,3.750762e-7,0.7770873,0.007907026,0.2065594,0.006315076,0.0007120305],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001096958,0.0003090658,0.9927316,0.0002385343,0.004374561,0.0008728267,0.000005023714,0.0002878655,0.001169581],"genre_scores_gemma":[0.0004049031,0.00001591596,0.9974772,0.0003915627,0.0003351641,0.0000594074,0.000007714227,0.00005581988,0.001252302],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9279708,"threshold_uncertainty_score":0.9997585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03028256369701329,"score_gpt":0.3246639566711262,"score_spread":0.2943813929741129,"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."}}