{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00336608,0.001427645,0.001814617,0.00209664,0.000912662,0.002100454,0.003118359,0.001794661,0.00803981],"category_scores_gemma":[0.01589035,0.000805629,0.001451195,0.002343478,0.002429305,0.004079965,0.001883219,0.00314892,0.0006724948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002719035,"about_ca_system_score_gemma":0.002799174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01023625,"about_ca_topic_score_gemma":0.01464052,"domain_scores_codex":[0.9976653,0.000940081,0.0001351585,0.0002532362,0.00076444,0.000241878],"domain_scores_gemma":[0.9914423,0.007276281,0.0002612516,0.000460643,0.0004088203,0.000150782],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001791813,0.0002043214,0.0005911634,0.0004440583,0.0001125883,0.00006261649,0.0001909339,0.4275339,0.0005433938,0.4097198,0.004868392,0.1555497],"study_design_scores_gemma":[0.00005918254,0.00002253583,0.00008652076,0.00003809022,0.00002481714,0.00001734149,0.00003351907,0.6758338,0.0001971638,0.3222283,0.001447255,0.00001164235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005649361,0.0008870062,0.9854682,0.000371649,0.00009150353,0.00007850634,0.0001071572,0.0002567651,0.007089864],"genre_scores_gemma":[0.2110054,0.001183903,0.7802699,0.0003376033,0.0002107327,0.0004062165,0.0003464879,0.0001803803,0.006059447],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01023625,"threshold_uncertainty_score":0.02689582,"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."}}