{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002758678,0.00005629361,0.00004859664,0.0000368616,0.0002564177,0.0001496797,0.0001347574,0.00003517739,0.00003644224],"category_scores_gemma":[0.00007504995,0.00004089443,0.00001774752,0.0001896924,0.00003433679,0.0003792736,0.00006693046,0.000110501,0.00001972376],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001297889,"about_ca_system_score_gemma":0.00001132248,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005493175,"about_ca_topic_score_gemma":0.00003059801,"domain_scores_codex":[0.9994749,0.00005733338,0.0001345596,0.0001369909,0.0000846222,0.0001115238],"domain_scores_gemma":[0.998885,0.0008438989,0.00004306713,0.0001673884,0.00001807844,0.00004253771],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[7.830355e-7,0.000003986382,0.4518621,0.000001451532,0.00000585259,4.983953e-7,0.0007412914,0.02652748,0.000001707137,0.3252219,0.0004944128,0.1951386],"study_design_scores_gemma":[0.0001830236,0.000008402974,0.5842965,0.000007954462,0.000003401457,0.000006547033,0.0001073191,0.4076517,0.000007125911,0.004911344,0.00271206,0.0001046368],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01620058,0.00003004907,0.97061,0.007260457,0.00004822072,0.00007154169,2.705276e-7,0.0001139737,0.005664965],"genre_scores_gemma":[0.9332083,0.000005603491,0.06583747,0.0005271839,0.0001237092,0.000003893721,0.000001761524,0.000002837535,0.0002891873],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9170078,"threshold_uncertainty_score":0.1972184,"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."}}