{"id":"W2963295189","doi":"10.1145/3134757","title":"Asking the Metaquestions in Constraint Tractability","year":2017,"lang":"en","type":"article","venue":"ACM Transactions on Computation Theory","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"Champlain Regional College; Université du Québec à Montréal","funders":"","keywords":"Constraint satisfaction problem; Mathematics; Homomorphism; Algebraic structure; Bounded function; Discrete mathematics; Combinatorics; Set (abstract data type); Time complexity; Class (philosophy); Computational complexity theory; Computer science; Algorithm; Pure mathematics","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.01013959,0.0013555,0.002045066,0.002073341,0.002829009,0.007135168,0.003447368,0.004941555,0.01194522],"category_scores_gemma":[0.09485053,0.001376377,0.00367942,0.004021193,0.007833669,0.02841053,0.003879378,0.01421287,0.001608675],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004678247,"about_ca_system_score_gemma":0.002569983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002432835,"about_ca_topic_score_gemma":0.002329815,"domain_scores_codex":[0.9866326,0.007211979,0.0006119235,0.002828389,0.002031483,0.0006835529],"domain_scores_gemma":[0.8068678,0.1795662,0.0037919,0.006083912,0.002564973,0.001125182],"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.0002461741,0.0002220931,0.00291698,0.0008575752,0.0001622923,0.0002448816,0.0005989865,0.03377462,0.0007331523,0.9041322,0.0193633,0.03674772],"study_design_scores_gemma":[0.00003772126,0.00002350938,0.0003402446,0.00006531848,0.00001966153,0.00007108582,0.0001166223,0.02521169,0.0003142331,0.9693468,0.004434942,0.00001829502],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1275748,0.01158797,0.5955034,0.2006378,0.001115447,0.0003157812,0.00301312,0.001263299,0.05898841],"genre_scores_gemma":[0.718387,0.007552267,0.2385424,0.01193031,0.00626734,0.001001848,0.00340637,0.001047641,0.0118648],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01194522,"threshold_uncertainty_score":0.05362391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02786421801486547,"score_gpt":0.2971308006780909,"score_spread":0.2692665826632255,"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."}}