{"id":"W4401974097","doi":"10.37256/cm.5320243304","title":"An Efficient Algorithm for Solving the 2-MAXSAT Problem","year":2024,"lang":"en","type":"article","venue":"Contemporary Mathematics","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Winnipeg","funders":"","keywords":"Maximum satisfiability problem; Mathematics; Algorithm; Mathematical optimization; Theoretical computer science; Computer science; Boolean function","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.001043139,0.0001352483,0.0001428612,0.00008257231,0.0002141163,0.000805023,0.0008480207,0.00004619619,0.000009601581],"category_scores_gemma":[0.00003069418,0.00008608173,0.00008286103,0.0003088382,0.00005160219,0.0004123716,0.0001300952,0.0001237193,0.00004272858],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002518493,"about_ca_system_score_gemma":0.0001941343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002112109,"about_ca_topic_score_gemma":4.07945e-7,"domain_scores_codex":[0.9988531,0.00004041679,0.0003093891,0.0002994116,0.0002644582,0.0002332379],"domain_scores_gemma":[0.9988258,0.000348042,0.00005718059,0.0005687528,0.0001086223,0.00009161096],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001671004,0.0003440869,0.000002996597,0.0006196916,0.00006942677,0.00002424795,0.01702692,0.005982606,0.0003736735,0.8478639,0.02427833,0.1034124],"study_design_scores_gemma":[0.0001217806,0.00007908977,5.917952e-7,0.0001051321,0.000003712234,0.00001095978,0.0001865822,0.9642617,0.00020569,0.0206935,0.01421126,0.0001199871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006517976,0.0007448964,0.9904287,0.001789116,0.0002950128,0.0009182401,0.000008576321,0.0004664188,0.005283791],"genre_scores_gemma":[0.06544633,0.00001359171,0.9318701,0.0003052625,0.0001132757,0.0001907824,0.00001213444,0.00003358075,0.002014953],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9582791,"threshold_uncertainty_score":0.7762855,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04618635100849945,"score_gpt":0.3021554689343263,"score_spread":0.2559691179258269,"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."}}