{"id":"W2914039150","doi":"10.1016/j.jcss.2011.09.006","title":"Enumerating homomorphisms","year":2011,"lang":"en","type":"article","venue":"Journal of Computer and System Sciences","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Hungarian Scientific Research Fund; Fonds National de la Recherche Luxembourg","keywords":"Homomorphism; Decision problem; Constraint satisfaction problem; Mathematics; Enumeration; Characterization (materials science); Discrete mathematics; Constraint (computer-aided design); Graph; Time complexity; Computer science; Combinatorics; Algorithm","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.001712379,0.00008300616,0.0002012616,0.0002502226,0.000258184,0.0002142836,0.00106055,0.00002261655,0.000003014447],"category_scores_gemma":[0.00001150527,0.00005566722,0.00005883506,0.0004164049,0.0001986521,0.001012132,0.0001958282,0.0001196895,0.000004347657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001448639,"about_ca_system_score_gemma":0.00007343997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002853929,"about_ca_topic_score_gemma":2.45731e-7,"domain_scores_codex":[0.9986507,0.0001543207,0.0003568157,0.0001710985,0.0004567784,0.0002102941],"domain_scores_gemma":[0.9991724,0.0001233712,0.0002549008,0.00015035,0.0001686572,0.0001303084],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001079341,0.00004313541,0.002498556,0.0000462615,0.00002689011,0.0002018644,0.003689577,0.0001540432,0.0003084303,0.9029696,0.0001290222,0.0899218],"study_design_scores_gemma":[0.003129162,0.009249443,0.03670468,0.001801994,0.00004421005,0.02691229,0.004686412,0.6967034,0.009539655,0.207787,0.001887462,0.00155426],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07143281,0.0005440849,0.9232797,0.00006220134,0.0007068282,0.00004883662,1.852972e-7,0.00002459187,0.003900758],"genre_scores_gemma":[0.7938247,0.000009858296,0.2060114,0.00003431453,0.0001056762,4.933223e-7,7.884414e-9,0.000001878201,0.00001160922],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7223919,"threshold_uncertainty_score":0.2270043,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05588940802729524,"score_gpt":0.2790729364453028,"score_spread":0.2231835284180076,"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."}}