{"id":"W1516765212","doi":"","title":"Nonbinary Constraint Satisfaction: From the Dual to the Primal","year":2001,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Local consistency; Consistency (knowledge bases); Encoding (memory); Constraint satisfaction problem; Computer science; Binary number; Dual (grammatical number); Constraint (computer-aided design); Consistency model; Theoretical computer science; Mathematics; Algorithm; Mathematical optimization; Arithmetic; Artificial intelligence","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.002439934,0.0006520809,0.000947922,0.0009571754,0.0006465865,0.003299211,0.001676519,0.0009078775,0.00334046],"category_scores_gemma":[0.0105113,0.0006113644,0.00080445,0.002193314,0.002186004,0.004531105,0.003285743,0.003538606,0.0004149622],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001493312,"about_ca_system_score_gemma":0.001716292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001879815,"about_ca_topic_score_gemma":0.002199627,"domain_scores_codex":[0.9976085,0.0008641768,0.0001221829,0.0003799348,0.0007955194,0.0002296806],"domain_scores_gemma":[0.9929715,0.004212139,0.0005552284,0.001369547,0.0006682806,0.0002232009],"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.0003460134,0.0001437152,0.001286079,0.0004319413,0.00005137995,0.0002486896,0.000466819,0.09653506,0.006450335,0.6940792,0.002729953,0.1972308],"study_design_scores_gemma":[0.00003829145,0.0000722778,0.0002275948,0.00008274702,0.00003135019,0.0001840025,0.0001169146,0.4807552,0.008338424,0.5023459,0.007785063,0.00002220966],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04048386,0.0004711887,0.9499849,0.0005726942,0.00005652658,0.00008286688,0.0001459236,0.0002906789,0.007911283],"genre_scores_gemma":[0.4197668,0.000559265,0.5727535,0.0002629936,0.0000654136,0.0001317877,0.0003848021,0.0002348525,0.005840463],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00334046,"threshold_uncertainty_score":0.01290375,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01597199001873091,"score_gpt":0.2341922946799737,"score_spread":0.2182203046612428,"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."}}