{"id":"W3186166992","doi":"10.1007/s11227-022-04457-9","title":"Efficient parallel graph trimming by arc-consistency","year":2022,"lang":"en","type":"article","venue":"The Journal of Supercomputing","topic":"Graph Theory and Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Trimming; Computer science; Graph; Algorithm; Correctness; Parallel computing; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.001138689,0.001101215,0.001349579,0.001778971,0.001448944,0.001485673,0.004346878,0.001137656,0.01455455],"category_scores_gemma":[0.005326397,0.0008440048,0.001135802,0.00317266,0.0009080972,0.002632945,0.003238208,0.001858567,0.002619002],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000794577,"about_ca_system_score_gemma":0.002327804,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0046666,"about_ca_topic_score_gemma":0.008407665,"domain_scores_codex":[0.9986603,0.0003233543,0.00006637365,0.0003468505,0.0004178518,0.0001851305],"domain_scores_gemma":[0.9958359,0.001050382,0.0002267507,0.002057537,0.0006620355,0.000167411],"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.001143725,0.0005764323,0.002065853,0.0005773305,0.0002274906,0.0002685778,0.0002807222,0.2102561,0.03294664,0.03663219,0.02862014,0.6864047],"study_design_scores_gemma":[0.0002038983,0.000144564,0.0005991218,0.00003598751,0.00007562433,0.0001892384,0.0001695418,0.912644,0.0280147,0.0507226,0.007161948,0.00003871692],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03807288,0.0003454687,0.9437577,0.0003569526,0.0002285132,0.0002287988,0.0003455465,0.006363268,0.01030099],"genre_scores_gemma":[0.2338666,0.0001569697,0.7550524,0.0002297761,0.00007161008,0.0001681806,0.0008425478,0.001316551,0.008295277],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01455455,"threshold_uncertainty_score":0.04868984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01123330658389738,"score_gpt":0.2142469495600161,"score_spread":0.2030136429761187,"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."}}