{"id":"W2575628753","doi":"10.29007/976n","title":"An Algebra of Combined Constraint Solving","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Rotation formalisms in three dimensions; Mathematical proof; Algebra over a field; Computer science; Formalism (music); Relational algebra; Constraint satisfaction problem; Universal algebra; Relation algebra; Algebraic structure; Modular design; Theoretical computer science; Programming language; Relational database; Mathematics; Algebra representation; Pure mathematics; Cellular algebra; 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.003566167,0.0006484576,0.0008092013,0.002440748,0.002434252,0.005635003,0.002125009,0.001054897,0.0143963],"category_scores_gemma":[0.003489796,0.0006307227,0.001794115,0.003778029,0.004517443,0.008667378,0.00514898,0.003687299,0.002362946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002454503,"about_ca_system_score_gemma":0.002181252,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002362887,"about_ca_topic_score_gemma":0.00201397,"domain_scores_codex":[0.9945461,0.001435227,0.0004756347,0.001131141,0.002018432,0.0003934383],"domain_scores_gemma":[0.9979113,0.000574577,0.0002365778,0.0003566966,0.0006779798,0.0002428966],"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.000009414705,0.000009114818,0.00005656591,0.00003634727,0.00001030267,0.00004072627,0.0001267243,0.0004442125,0.0002937853,0.9923304,0.0007897973,0.00585275],"study_design_scores_gemma":[0.00002251771,0.0000243592,0.0001121014,0.00003129824,0.00002754153,0.0001548019,0.0001075685,0.009531293,0.000979829,0.9404902,0.0484953,0.00002329364],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01092479,0.001653946,0.8597693,0.001448299,0.0003384687,0.0001918952,0.0006467027,0.0008057446,0.1242209],"genre_scores_gemma":[0.3903389,0.002074416,0.5579329,0.001502524,0.000910981,0.0007466846,0.001762872,0.0003961907,0.0443344],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0143963,"threshold_uncertainty_score":0.04816043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01534114920150511,"score_gpt":0.2653032240207558,"score_spread":0.2499620748192507,"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."}}