{"id":"W2539033800","doi":"10.1145/2966986.2967072","title":"Scalable, high-quality, SAT-based multi-layer escape routing","year":2016,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Routing (electronic design automation); Scalability; Computer science; Layer (electronics); Computer network; Equal-cost multi-path routing; Static routing; Distributed computing; Routing protocol; Materials science; Nanotechnology; Operating system","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.0007006841,0.0001649052,0.0001894884,0.00008668713,0.0001645413,0.0001660388,0.0008076727,0.00006731093,0.0001112119],"category_scores_gemma":[0.0003007327,0.0001053665,0.0000808416,0.0003409752,0.00004173461,0.0004650861,0.0002161203,0.00008315946,0.0007478051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004879925,"about_ca_system_score_gemma":0.00008832018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002365929,"about_ca_topic_score_gemma":0.00004904293,"domain_scores_codex":[0.9982689,0.0001074289,0.0003359379,0.0004992213,0.0003048243,0.0004836655],"domain_scores_gemma":[0.9985921,0.0004487387,0.0001110933,0.0005922528,0.0001092734,0.0001465059],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[4.705916e-7,0.0001757534,0.07271687,0.00002372073,0.00001985767,0.00003064599,0.00009752453,0.00007815789,0.1168323,0.1169099,0.000786151,0.6923286],"study_design_scores_gemma":[0.008520404,0.0002799475,0.442892,0.0007783183,0.00003364514,0.00004476968,0.00008269655,0.3640833,0.168565,0.009504574,0.002354354,0.002860931],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04856287,0.00001714108,0.9437581,0.001870157,0.0002362765,0.00007433406,0.000001800131,0.0005999597,0.004879347],"genre_scores_gemma":[0.9530371,7.609889e-7,0.0437706,0.001197118,0.00008945267,0.00000395921,9.314749e-7,0.00001184607,0.001888256],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9044742,"threshold_uncertainty_score":0.9611771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06486053358668183,"score_gpt":0.294875918055799,"score_spread":0.2300153844691172,"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."}}