{"id":"W2227054253","doi":"10.1007/s10458-015-9313-5","title":"Exact and heuristic methods for solving Boolean games","year":2015,"lang":"en","type":"article","venue":"Autonomous Agents and Multi-Agent Systems","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Vlaamse regering; Queen's University; Fonds Wetenschappelijk Onderzoek; Queen's University Belfast","keywords":"Computer science; Heuristic; Boolean expression; Theoretical computer science; Representation (politics); Boolean data type; Mathematics; Boolean function; Algorithm; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001250985,0.0002638902,0.0004045254,0.00009876016,0.0002435834,0.0004742069,0.0003742022,0.0001008498,0.000002390985],"category_scores_gemma":[0.00020744,0.0002119821,0.00007261861,0.00009098468,0.00005924341,0.0002903315,0.0002886099,0.00008966384,0.00001745362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008608238,"about_ca_system_score_gemma":0.00008933196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002282963,"about_ca_topic_score_gemma":0.00001158678,"domain_scores_codex":[0.9982526,0.0001635155,0.0003775835,0.0006217101,0.000134649,0.000449911],"domain_scores_gemma":[0.9986817,0.0001981086,0.000192289,0.0004095635,0.0001228743,0.0003954599],"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.00006635278,0.001066945,0.02690945,0.001801446,0.0007597348,0.0001578217,0.05413082,0.0007038501,0.002194105,0.1056117,0.02844078,0.7781569],"study_design_scores_gemma":[0.001923406,0.0002459784,0.005873594,0.00008334428,0.00005191981,0.00009874158,0.000561604,0.8180392,0.0001637234,0.0003883298,0.1720605,0.0005095708],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01739162,0.007342553,0.9710312,0.00008152275,0.00198177,0.0008224841,0.000006527944,0.0002017245,0.001140532],"genre_scores_gemma":[0.920433,0.0001310904,0.07466979,0.0001245085,0.0001850026,0.000114374,0.000005984894,0.00002737026,0.004308813],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9030414,"threshold_uncertainty_score":0.8644381,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08074663229481495,"score_gpt":0.3486333665235326,"score_spread":0.2678867342287176,"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."}}