{"id":"W2126876194","doi":"10.1109/time.2005.22","title":"Exploiting the Relationship between IA Networks and Finite Domain CSPs","year":2005,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acadia University","funders":"","keywords":"Domain (mathematical analysis); Binary number; Integer (computer science); Computer science; Mathematics; Discrete mathematics; Theoretical computer science; Algorithm; Algebra over a field; Arithmetic; Pure mathematics; Programming language","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.001562206,0.0004294913,0.0003641472,0.0007699812,0.0007112209,0.002114624,0.001194699,0.0005822576,0.007365979],"category_scores_gemma":[0.007026525,0.000285008,0.0008279068,0.001291096,0.002040405,0.004645417,0.002517066,0.002563808,0.0007974751],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001158643,"about_ca_system_score_gemma":0.001425711,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002698946,"about_ca_topic_score_gemma":0.002388202,"domain_scores_codex":[0.9985417,0.0005114653,0.00008591432,0.0002322848,0.0004744094,0.00015421],"domain_scores_gemma":[0.9966344,0.002126604,0.0003077747,0.0004171477,0.000365715,0.0001482654],"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.00002576715,0.00003593194,0.0002402829,0.00008762864,0.00001491321,0.0001176699,0.0001900569,0.05343002,0.001960947,0.9151582,0.0008502738,0.02788835],"study_design_scores_gemma":[0.00001114331,0.00001404335,0.00008117542,0.0000238999,0.00000933427,0.0000875881,0.0001041095,0.1781186,0.002165937,0.8115222,0.007850224,0.00001182616],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006838636,0.00007657156,0.9804102,0.0002942474,0.00003086657,0.00004479749,0.00007011393,0.0001731693,0.01206139],"genre_scores_gemma":[0.4714537,0.000573009,0.5195175,0.0003058153,0.0000820729,0.0003392283,0.0004481823,0.0001584065,0.007121969],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007365979,"threshold_uncertainty_score":0.02464163,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03437707863418019,"score_gpt":0.2635963339228164,"score_spread":0.2292192552886362,"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."}}