{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003378508,0.0006049607,0.0008276642,0.0004879294,0.0008444171,0.002091862,0.002037161,0.001456454,0.002248965],"category_scores_gemma":[0.01193761,0.0003988755,0.0004632772,0.001424743,0.001632915,0.003986272,0.001440273,0.001651713,0.0003010638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009389172,"about_ca_system_score_gemma":0.002105004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004093414,"about_ca_topic_score_gemma":0.004746396,"domain_scores_codex":[0.9973397,0.00127216,0.0001254299,0.0003022941,0.0007364324,0.0002240547],"domain_scores_gemma":[0.9887207,0.00729171,0.0007053535,0.002545405,0.0005224085,0.000214497],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001781898,0.0008514944,0.003294361,0.0003524384,0.0001648042,0.0003066642,0.0008070472,0.4479432,0.02674816,0.08182103,0.003569104,0.43236],"study_design_scores_gemma":[0.0001243327,0.0001276553,0.0002415501,0.0000131984,0.00003977236,0.00007774311,0.00005681865,0.9619716,0.01776139,0.01796339,0.001605882,0.0000166458],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2202282,0.0007316217,0.7634111,0.001152018,0.00006334587,0.0002350861,0.00005274847,0.004685872,0.009439993],"genre_scores_gemma":[0.7576485,0.0002788556,0.2390972,0.0001749244,0.00002646636,0.0001250452,0.00009240091,0.000208515,0.002348093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004093414,"threshold_uncertainty_score":0.01786751,"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."}}