{"id":"W78606972","doi":"10.1007/978-3-642-40627-0_23","title":"Solving Weighted CSPs by Successive Relaxations","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Tuple; Solver; Relaxation (psychology); Mathematical optimization; Mathematics; Set (abstract data type); Algorithm; Integer programming; Maximum satisfiability problem; Discrete mathematics; Computer science; Combinatorics","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.0003252284,0.0004169934,0.0003503737,0.0007001702,0.0004055112,0.0008650922,0.001831774,0.0003121444,0.0003391697],"category_scores_gemma":[0.0001111696,0.0003953278,0.0000980548,0.0006382772,0.0004977328,0.001263187,0.0006338972,0.000679673,0.0001977831],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003063196,"about_ca_system_score_gemma":0.0004639547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004103532,"about_ca_topic_score_gemma":0.00006268092,"domain_scores_codex":[0.9970179,0.00003393036,0.000497107,0.001204827,0.0007505314,0.0004957385],"domain_scores_gemma":[0.9976428,0.0004747404,0.0004033949,0.0009314401,0.0003607771,0.0001868253],"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.00000126182,0.00002008145,0.0000668907,0.00001526317,0.00001286795,0.00001845695,0.0005853036,0.01172271,0.0002246571,0.05391873,0.0006462567,0.9327675],"study_design_scores_gemma":[0.0002238109,0.00005633927,0.000115259,0.000193266,0.000006868186,0.00003533342,2.107968e-7,0.9334394,0.000650565,0.06182815,0.002820105,0.0006306354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002337306,0.0002319379,0.9853264,0.001791156,0.001491254,0.0003773701,0.000007286927,0.0002438059,0.0105074],"genre_scores_gemma":[0.1260038,0.0001409267,0.8672377,0.002574296,0.0003753696,0.00002991306,0.00004058079,0.00005490137,0.003542413],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9321369,"threshold_uncertainty_score":0.9998499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008754078167863891,"score_gpt":0.2210355009761834,"score_spread":0.2122814228083195,"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."}}