{"id":"W4319320075","doi":"10.1002/jcd.21876","title":"Balanced covering arrays: A classification of covering arrays and packing arrays via exact methods","year":2023,"lang":"en","type":"article","venue":"Journal of Combinatorial Designs","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University","funders":"National Institute of Standards and Technology; Österreichische Forschungsförderungsgesellschaft","keywords":"Mathematics; Solver; Combinatorics; Extension (predicate logic); Tuple; Packing problems; Column (typography); Class (philosophy); Upper and lower bounds; Discrete mathematics; Rank (graph theory); Computer science; Mathematical optimization; Geometry","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.00238497,0.0002013265,0.0005287404,0.0003433869,0.000158718,0.0001882987,0.0006308329,0.0001081913,0.000003993355],"category_scores_gemma":[0.0009432522,0.0001923485,0.00015742,0.0008998328,0.00005685896,0.0008566871,0.0001117743,0.0003515013,0.000003427723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009967074,"about_ca_system_score_gemma":0.000164489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008944909,"about_ca_topic_score_gemma":3.219849e-7,"domain_scores_codex":[0.997705,0.0003621884,0.0007886915,0.0002750537,0.0005178765,0.000351231],"domain_scores_gemma":[0.9972308,0.001058496,0.0009737005,0.0003074563,0.0002579399,0.0001716396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001030315,0.00006720152,0.001958786,0.00008551835,0.00006885736,0.00005434405,0.00141996,0.002064084,0.9207785,0.01980458,0.0000811367,0.05360674],"study_design_scores_gemma":[0.005777482,0.001619494,0.03349751,0.001221928,0.0001612461,0.0005859357,0.0005842439,0.3638042,0.3667864,0.2234767,0.00127854,0.001206254],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09177583,0.00009085321,0.9050421,0.000103792,0.002412572,0.0001020843,9.547933e-7,0.00008138354,0.0003905013],"genre_scores_gemma":[0.9729552,0.00008071827,0.02649138,0.00002790113,0.0004142609,0.000003018265,6.923621e-7,0.00002024441,0.000006529368],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8811795,"threshold_uncertainty_score":0.7843743,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06385576691572493,"score_gpt":0.3199365614301567,"score_spread":0.2560807945144318,"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."}}