{"id":"W2027450089","doi":"10.1145/937555.937557","title":"Variable independence for first-order definable constraints","year":2003,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Decidability; Quantifier elimination; Constraint (computer-aided design); Mathematics; Independence (probability theory); Time complexity; Variable (mathematics); Dimension (graph theory); Polynomial; Projection (relational algebra); Arity; Set (abstract data type); Algorithm; Computer science; Mathematical optimization; Discrete mathematics; Combinatorics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005916869,0.0008454802,0.001190254,0.00177794,0.001984067,0.00438888,0.002626488,0.001370819,0.007764488],"category_scores_gemma":[0.02949625,0.00150813,0.00449175,0.002821143,0.003482979,0.0104693,0.003448201,0.007441396,0.0008593844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002658169,"about_ca_system_score_gemma":0.003099567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005063171,"about_ca_topic_score_gemma":0.008730722,"domain_scores_codex":[0.9913831,0.001855458,0.0006262065,0.001814693,0.00322107,0.001099445],"domain_scores_gemma":[0.9584879,0.03394363,0.001964049,0.003888585,0.001255385,0.000460405],"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.0002214242,0.000202621,0.002011461,0.0003738225,0.00008783071,0.0003634983,0.0007719365,0.04730903,0.003661401,0.8704905,0.003577413,0.07092901],"study_design_scores_gemma":[0.00005613932,0.00004545907,0.0005426829,0.00005413514,0.00006195347,0.0003099449,0.0001010226,0.186851,0.00667761,0.7988282,0.006432902,0.00003902109],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02940326,0.0002079188,0.9597971,0.0007948316,0.00003637812,0.000164916,0.0007295917,0.0007967039,0.008069139],"genre_scores_gemma":[0.4454943,0.0008410464,0.5378852,0.0006542336,0.0003676864,0.0006830002,0.004020379,0.0005608913,0.009493295],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007764488,"threshold_uncertainty_score":0.03129172,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02498019671775906,"score_gpt":0.2537081889100911,"score_spread":0.228727992192332,"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."}}