{"id":"W2105930785","doi":"10.1007/s00453-004-1081-6","title":"Solving Systems of Difference Constraints Incrementally with Bidirectional Search","year":2004,"lang":"en","type":"article","venue":"Algorithmica","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Athabasca University; University of Alberta","funders":"","keywords":"Theory of computation; Computer science; Heuristic; Bounded function; Heuristics; Local search (optimization); Algorithm; Search algorithm; Enhanced Data Rates for GSM Evolution; Mathematical optimization; Mathematics; 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.002548915,0.001014929,0.00152882,0.001537591,0.001186753,0.002262137,0.00328137,0.001860046,0.01210392],"category_scores_gemma":[0.01415705,0.00169264,0.001648991,0.001781933,0.001818423,0.004497961,0.004964539,0.003525359,0.001144408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001070332,"about_ca_system_score_gemma":0.002196183,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004048268,"about_ca_topic_score_gemma":0.008752128,"domain_scores_codex":[0.9977493,0.0006879258,0.0001605205,0.000352105,0.0007618682,0.0002883492],"domain_scores_gemma":[0.9915752,0.006490885,0.0002528465,0.0009189055,0.0005937091,0.000168499],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006532996,0.0005476926,0.001582405,0.0007705422,0.0002072823,0.0003151361,0.0005538652,0.4828437,0.008667166,0.2056253,0.006164978,0.2920686],"study_design_scores_gemma":[0.0001020552,0.00006048592,0.0000766708,0.00002158748,0.00004675747,0.00004633192,0.00007765954,0.8900248,0.002891448,0.1042313,0.002401778,0.00001901529],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02970426,0.0001406125,0.9606916,0.0002143469,0.00006931687,0.0001610707,0.0001160574,0.001071206,0.007831649],"genre_scores_gemma":[0.2443233,0.0001115005,0.7512081,0.0001265686,0.00003868953,0.0002925255,0.0004353616,0.0002924283,0.003171511],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01210392,"threshold_uncertainty_score":0.04049164,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01327573581422096,"score_gpt":0.2265882630989717,"score_spread":0.2133125272847508,"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."}}