{"id":"W7124241997","doi":"10.65109/igsn9951","title":"Clique Analysis and Bypassing in Continuous-Time Conflict-Based Search","year":2024,"lang":"","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta; Lockheed Martin (Canada)","funders":"","keywords":"Disjoint sets; Clique; State (computer science); Solver; Heuristic; Exponential function; Minification","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.002470779,0.0008493554,0.0009775832,0.0007540905,0.0007242237,0.001239201,0.002628582,0.001200754,0.007565485],"category_scores_gemma":[0.01152608,0.0005874705,0.001152725,0.001399498,0.001514647,0.002917306,0.00199894,0.002298906,0.0007139824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001036604,"about_ca_system_score_gemma":0.001851087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004933716,"about_ca_topic_score_gemma":0.005142328,"domain_scores_codex":[0.9982516,0.0007559544,0.00005541189,0.0003083014,0.0003909915,0.0002375954],"domain_scores_gemma":[0.9930881,0.005037175,0.0003165784,0.0008844241,0.0003983307,0.0002754306],"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.0003732746,0.000378077,0.001404419,0.0003070233,0.0001207271,0.0001590833,0.0002855782,0.7141233,0.00442221,0.1289836,0.006536947,0.1429057],"study_design_scores_gemma":[0.00007471051,0.00006307091,0.0001150227,0.0000132667,0.0000175563,0.00003683025,0.0000338403,0.9562422,0.001248255,0.04001326,0.002130144,0.0000117784],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04682677,0.0003737039,0.9435298,0.0004892044,0.00009034565,0.0001675055,0.0001864319,0.0009582287,0.007377954],"genre_scores_gemma":[0.4551939,0.0001961586,0.5396059,0.0002617421,0.00006551661,0.0002714928,0.0004248953,0.0003610572,0.003619392],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007565485,"threshold_uncertainty_score":0.02530909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01452661755021012,"score_gpt":0.2759027897014111,"score_spread":0.261376172151201,"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."}}