{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001286831,0.00008809593,0.0001160917,0.000107232,0.00008793375,0.00006827289,0.0002173611,0.00003480914,0.00003264827],"category_scores_gemma":[0.00001020792,0.00007680674,0.00002451052,0.0002751867,0.0001535833,0.0001904866,0.00005911698,0.00008973871,0.00001091796],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007379162,"about_ca_system_score_gemma":0.0002215813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001882948,"about_ca_topic_score_gemma":0.00001746583,"domain_scores_codex":[0.9990952,0.0000317339,0.0001785843,0.0002160377,0.0003225168,0.0001559072],"domain_scores_gemma":[0.9995021,0.0000439302,0.00006918532,0.0001807639,0.0001389145,0.00006514316],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004923862,0.0004976013,0.02064679,0.0001473861,0.0003097221,0.00007996831,0.002600511,0.0619442,0.02986383,0.4017618,0.00008652323,0.4820124],"study_design_scores_gemma":[0.009804262,0.001582551,0.2678335,0.00118593,0.00007170845,0.002113573,0.001786561,0.6131732,0.09681962,0.003232283,0.000395894,0.002000919],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03854633,0.00002533589,0.9592017,0.0001893289,0.0001877792,0.0001465795,0.000006162748,0.00008941645,0.001607373],"genre_scores_gemma":[0.9055066,0.000006553428,0.09436393,0.00003153446,0.0000238264,0.000006506966,0.000003685618,0.00000455746,0.00005288288],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8669602,"threshold_uncertainty_score":0.3132088,"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."}}