{"id":"W2086286112","doi":"10.1007/s10589-008-9175-8","title":"Efficient preprocessing for VLSI optimization problems","year":2008,"lang":"en","type":"article","venue":"Computational Optimization and Applications","topic":"Advanced Optimization Algorithms Research","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Preprocessor; Solver; Very-large-scale integration; Computer science; Integer programming; Mathematical optimization; Linear programming; Constraint (computer-aided design); Algorithm; Mathematics; Programming language","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.0002029622,0.0001822286,0.0001975682,0.0001992009,0.0008888117,0.00006731071,0.0001401352,0.00008621303,0.00007727878],"category_scores_gemma":[0.000228023,0.0001921145,0.0000535412,0.0005867439,0.0001728895,0.0001396848,0.00005709299,0.00009641817,0.000005385491],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006908271,"about_ca_system_score_gemma":0.0001329903,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":7.55881e-7,"about_ca_topic_score_gemma":2.680949e-7,"domain_scores_codex":[0.9984752,0.00003814206,0.0004569111,0.0004611468,0.0003345557,0.0002340634],"domain_scores_gemma":[0.9980359,0.0005167702,0.0002254108,0.0002031825,0.0008812757,0.0001374568],"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.000008670632,0.000162038,0.00003512352,0.00007492244,0.00001444316,1.931399e-7,0.0001868611,0.9753579,0.000003537866,0.02292564,0.0002004232,0.001030237],"study_design_scores_gemma":[0.0007877912,0.00002496894,0.00002548515,0.00001964955,0.00001608024,0.00002832625,0.00004831803,0.9837219,0.00001492208,0.01432945,0.0007781397,0.0002049775],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001829648,0.0001186421,0.9963754,0.0004002983,0.0000263994,0.001849988,0.00003824512,0.000228281,0.0007797295],"genre_scores_gemma":[0.01689363,0.00007011375,0.9804755,0.0001191794,0.0001037884,0.001338116,0.0003677828,0.00005331684,0.0005786186],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01671066,"threshold_uncertainty_score":0.78342,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06567202607348327,"score_gpt":0.356399427834244,"score_spread":0.2907274017607607,"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."}}