{"id":"W7110406314","doi":"10.4230/lipics.icalp.2025.37","title":"Satisfiability of Commutative vs. Non-Commutative CSPs","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; UK Research and Innovation","keywords":"Satisfiability; Boolean satisfiability problem; Constraint satisfaction problem; Hilbert space; Commutative property; Maximum satisfiability problem; Dimension (graph theory)","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004355677,0.0004616087,0.0007325023,0.0007142774,0.001099735,0.002521988,0.001426764,0.000943679,0.002916804],"category_scores_gemma":[0.0183787,0.0006210713,0.001431836,0.001205082,0.003234868,0.007703881,0.002608687,0.003465279,0.000270433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00151076,"about_ca_system_score_gemma":0.001819258,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003303433,"about_ca_topic_score_gemma":0.002380413,"domain_scores_codex":[0.9956331,0.00158002,0.0003620973,0.0008617067,0.001081875,0.000481256],"domain_scores_gemma":[0.9783744,0.01700949,0.00131053,0.001415182,0.001208919,0.0006815268],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000287152,0.0001455711,0.002264925,0.000336069,0.0001214512,0.0007106742,0.001067717,0.04046847,0.005093822,0.9244668,0.002364815,0.02267242],"study_design_scores_gemma":[0.00009915941,0.00003916443,0.0005437954,0.00002339703,0.00006361672,0.0002367878,0.0002766892,0.1232406,0.005376624,0.8677714,0.002301092,0.00002764812],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5745412,0.002508506,0.3860091,0.007414099,0.000213993,0.0002402806,0.001150065,0.000957821,0.02696501],"genre_scores_gemma":[0.9508301,0.0006576402,0.04412685,0.0005099436,0.0002102034,0.0001246859,0.0007003416,0.00009302063,0.0027472],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004355677,"threshold_uncertainty_score":0.02303535,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01162564909811499,"score_gpt":0.313889148081296,"score_spread":0.3022634989831811,"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."}}