{"id":"W2146608275","doi":"10.1109/hpcs.2005.30","title":"High Performance Constraint Satisfaction Problem Solving: State-Recomputation versus State-Copying","year":2005,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Copying; Computer science; Constraint satisfaction problem; State (computer science); Constraint (computer-aided design); Constraint satisfaction; Parallel computing; Focus (optics); Look-ahead; Theoretical computer science; Algorithm; Artificial intelligence; Mathematics","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.0002675272,0.0001983081,0.000158991,0.0001979411,0.000263692,0.0003081486,0.0001985753,0.00005652625,0.0003102893],"category_scores_gemma":[0.00001899774,0.0001996508,0.00004653892,0.0003560605,0.00005941569,0.001839646,0.0000721059,0.0001787613,0.0002371112],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002421808,"about_ca_system_score_gemma":0.0001536415,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00013419,"about_ca_topic_score_gemma":0.0003232524,"domain_scores_codex":[0.9984189,0.0000552446,0.0004294548,0.000424957,0.0003290719,0.0003423223],"domain_scores_gemma":[0.999164,0.0001087477,0.0001823502,0.000253439,0.0001701159,0.0001213155],"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.0000227379,0.00001802279,0.001744832,0.00001051395,0.00001702552,0.000001034123,0.0005918129,0.2252508,0.000248838,0.00353431,0.000205954,0.7683542],"study_design_scores_gemma":[0.001765368,0.0001703528,0.04726757,0.0000273173,0.000007572979,0.00002463176,0.00009162651,0.9445788,0.004358109,0.0006044699,0.0006846413,0.0004195728],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2638629,0.000007494376,0.7314752,0.0008049508,0.0006304466,0.0002410739,0.000002431922,0.0004939665,0.002481509],"genre_scores_gemma":[0.7151271,0.00003881664,0.2844178,0.0001381488,0.00004181309,0.000009799754,0.000008734744,0.000009435661,0.0002083527],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7679346,"threshold_uncertainty_score":0.8141524,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01479493689172055,"score_gpt":0.2367133848297923,"score_spread":0.2219184479380717,"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."}}