{"id":"W2952340783","doi":"10.48550/arxiv.1103.3745","title":"The AllDifferent Constraint with Precedences","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Local consistency; Constraint (computer-aided design); Constraint programming; Constraint logic programming; Consistency (knowledge bases); Decomposition method (queueing theory); Constraint satisfaction problem; Constraint satisfaction; Constraint graph; Binary constraint; Computer science; Mathematical optimization; Mathematics; Theoretical computer science; Discrete mathematics; Probabilistic logic; 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.003840124,0.001364986,0.001075701,0.001445882,0.001699522,0.003073477,0.002612467,0.001280067,0.009603251],"category_scores_gemma":[0.01118956,0.0008252119,0.001819399,0.002134242,0.002675147,0.007007679,0.005071544,0.006039253,0.001338776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001219743,"about_ca_system_score_gemma":0.003166303,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00506184,"about_ca_topic_score_gemma":0.006229679,"domain_scores_codex":[0.995001,0.001318574,0.00034636,0.00100643,0.001749362,0.0005782896],"domain_scores_gemma":[0.9925276,0.003070481,0.0005655474,0.002087209,0.001341558,0.0004075397],"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.0001605931,0.0001271641,0.001267856,0.0003277293,0.00008339203,0.0004023749,0.0002894088,0.05539947,0.005660216,0.8039001,0.01348683,0.1188949],"study_design_scores_gemma":[0.00009389249,0.00009785664,0.0003959446,0.0001361371,0.00008226081,0.0003109157,0.0001473692,0.1802857,0.01445317,0.7394855,0.06444032,0.00007093381],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01043261,0.0003143242,0.9703466,0.001007045,0.0003241464,0.0001713146,0.0005427139,0.0004547694,0.01640644],"genre_scores_gemma":[0.2004645,0.000652309,0.7809974,0.0009903468,0.0003581449,0.0004721167,0.001570483,0.0008093291,0.01368546],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009603251,"threshold_uncertainty_score":0.03212613,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06913467774796436,"score_gpt":0.1707907165209899,"score_spread":0.1016560387730255,"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."}}