{"id":"W2131529421","doi":"10.1613/jair.2808","title":"Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem","year":2009,"lang":"en","type":"article","venue":"Journal of Artificial Intelligence Research","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Satisfiability; Interpretation (philosophy); Cover (algebra); Combinatorics; Mathematics; Set (abstract data type); Maximum satisfiability problem; Algorithm; Random walk; State (computer science); Discrete mathematics; Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01055448,0.00009100357,0.000156876,0.0002688496,0.0004272116,0.0003725432,0.0007543712,0.00007294106,0.00004768796],"category_scores_gemma":[0.001698206,0.00006036529,0.0001004655,0.001106297,0.0001567765,0.0005868561,0.00004875138,0.0004789568,0.00001752498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001385112,"about_ca_system_score_gemma":0.0004299585,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004671044,"about_ca_topic_score_gemma":0.0001647967,"domain_scores_codex":[0.9973122,0.0006020093,0.0007314347,0.0002082975,0.0008257385,0.0003202711],"domain_scores_gemma":[0.9950567,0.001764536,0.0002672346,0.000325502,0.002477332,0.0001086969],"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.0001296188,0.0001020923,0.000477657,0.000006311464,0.0000127465,0.000002298778,0.0004659991,0.00177739,0.00108328,0.04458873,0.0004215908,0.9509323],"study_design_scores_gemma":[0.0001093837,0.00128642,0.03000702,0.00005645552,0.00000908149,0.00004890475,0.0003662362,0.5210809,0.02228254,0.423549,0.001017924,0.0001861401],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009628567,0.00006987586,0.9791751,0.01006176,0.0002849413,0.0006073983,0.00000235416,0.00001945075,0.0001505924],"genre_scores_gemma":[0.9474835,0.00009658223,0.05216283,0.00005898928,0.0001477674,0.000009048081,0.000001449061,0.00000409483,0.00003573586],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9507462,"threshold_uncertainty_score":0.3657994,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1536970349026865,"score_gpt":0.4022898729203972,"score_spread":0.2485928380177107,"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."}}