{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002966771,0.0001741315,0.0001518628,0.0001851968,0.000556242,0.0001446565,0.0004008211,0.0001142865,0.0006555457],"category_scores_gemma":[0.0002126165,0.0001819408,0.00008102733,0.0006168529,0.00009307014,0.0004311559,0.000007174025,0.0001798973,0.00009305392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008649458,"about_ca_system_score_gemma":0.0003324141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007670992,"about_ca_topic_score_gemma":0.00001309902,"domain_scores_codex":[0.9986131,0.00006510896,0.0002800065,0.0004473346,0.0003159413,0.0002785531],"domain_scores_gemma":[0.9982617,0.0007918558,0.00008883615,0.0003648564,0.0003941657,0.00009856363],"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.000005742659,0.00008738163,0.00003668909,0.000008347233,0.00001782978,0.000001257527,0.00004070547,0.5293209,0.000005853951,0.4601052,0.00009844692,0.01027164],"study_design_scores_gemma":[0.001451958,0.0002022143,0.000730899,0.00002459836,0.00002085153,0.0001359755,0.00005659477,0.3191902,0.0001817517,0.6721962,0.005404122,0.0004046353],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000752152,0.00001490333,0.9934899,0.001462664,0.0004819384,0.0003827976,0.00002641734,0.0001995289,0.003866629],"genre_scores_gemma":[0.3626815,0.000005177201,0.6361691,0.0008154932,0.000008246566,0.00007676371,0.00001192364,0.000007815524,0.0002239959],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3626063,"threshold_uncertainty_score":0.7419332,"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."}}