{"id":"W4322397474","doi":"10.1145/3585074","title":"Optimal Pattern Retargeting in IEEE 1687 Networks: A SAT-based Upper-Bound Computation","year":2023,"lang":"en","type":"article","venue":"ACM Transactions on Design Automation of Electronic Systems","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Scalability; Upper and lower bounds; Computation; Satisfiability; Distributed computing; Bounded function; Theoretical computer science; Algorithm; Mathematics","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.001383988,0.0001976986,0.0002908885,0.000635447,0.0001984277,0.0001426231,0.0005626448,0.0001176588,0.00000564102],"category_scores_gemma":[0.00006338726,0.0002145121,0.000101668,0.001720917,0.00002663759,0.0003837433,0.000005158681,0.0002766885,0.0000593142],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000278082,"about_ca_system_score_gemma":0.0002316518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001032671,"about_ca_topic_score_gemma":0.00001650812,"domain_scores_codex":[0.9975412,0.0004335663,0.0006579668,0.0004149054,0.0003962523,0.0005560609],"domain_scores_gemma":[0.9981884,0.0009121835,0.0002874223,0.0004452337,0.0001089805,0.00005783088],"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.000002105601,0.00005266235,0.0001538558,0.0000462366,0.00002121138,0.000004670808,0.000237312,0.9455593,0.0008272976,0.00008777958,0.0000396038,0.05296794],"study_design_scores_gemma":[0.0005335817,0.0002895689,0.001020261,0.0002530725,0.00001096213,0.0000139925,0.00006843994,0.9964503,0.0009870481,0.000168074,0.00001047618,0.0001941954],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05134294,0.0001041353,0.946915,0.0002065043,0.000339047,0.0004485017,0.000002455229,0.0006204679,0.00002089589],"genre_scores_gemma":[0.995896,0.0000103434,0.003844221,0.00004390299,0.00003950076,0.00009888963,0.00001866434,0.00002151473,0.0000270004],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.944553,"threshold_uncertainty_score":0.8747548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03149180253073142,"score_gpt":0.2612826725885759,"score_spread":0.2297908700578445,"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."}}