{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001100273,0.0001440505,0.0001405016,0.0001721949,0.001171808,0.0004419728,0.0009615885,0.00006856003,0.0001145087],"category_scores_gemma":[0.0003206002,0.0001189295,0.0001030686,0.0001941126,0.0002833178,0.0007974052,0.00002166073,0.0003411439,0.0000454141],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008718465,"about_ca_system_score_gemma":0.0001057355,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003861952,"about_ca_topic_score_gemma":0.0001433894,"domain_scores_codex":[0.9985723,0.0003580195,0.0003162409,0.0003444878,0.0002201558,0.0001888081],"domain_scores_gemma":[0.997565,0.0009674067,0.0001816893,0.001128297,0.0000967363,0.00006092139],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001473894,0.0001136934,0.0002370353,0.000004123826,0.00002223485,0.000003799787,0.0007980784,0.0844228,0.00003889457,0.119606,0.000007354484,0.7947313],"study_design_scores_gemma":[0.001484694,0.0001038512,0.1715965,0.00007721213,0.00004326411,0.00008058206,0.0005987987,0.3256878,0.001034379,0.4982853,0.0005016144,0.000505996],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006900216,0.00001097015,0.9826669,0.007010745,0.0005829487,0.000295191,0.000005938819,0.000162039,0.002365112],"genre_scores_gemma":[0.9631971,0.00001245046,0.0363043,0.0003325741,0.00001781254,0.00004063312,0.00000224076,0.000007615894,0.00008527005],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9562969,"threshold_uncertainty_score":0.9012721,"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."}}