{"id":"W2100684203","doi":"10.1109/asic.2001.954701","title":"Model reduction based on value dependency","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Reduction (mathematics); Computer science; Model checking; Dependency (UML); Solver; Algorithm; Satisfiability; Satisfiability modulo theories; Data flow diagram; Control flow; Boolean satisfiability problem; Formal verification; State (computer science); Application-specific integrated circuit; Theoretical computer science; Programming language; Artificial intelligence; Mathematics; Embedded 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.0002552053,0.00006484363,0.00004919601,0.00008044064,0.00006799419,0.00004675962,0.0003950895,0.00004251363,0.00006949579],"category_scores_gemma":[0.00004582997,0.00005801982,0.0000291474,0.0002130103,0.00001317422,0.0004098222,0.00002831008,0.00007939978,0.0002450084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004420448,"about_ca_system_score_gemma":0.00001099337,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004955348,"about_ca_topic_score_gemma":1.708101e-7,"domain_scores_codex":[0.9992426,0.00005760935,0.0001139478,0.000232753,0.0002287166,0.0001243557],"domain_scores_gemma":[0.9993217,0.00001605783,0.00003617464,0.0005510406,0.00003314621,0.00004185212],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002374817,0.00009246797,0.000007425412,0.000003801475,0.000001291759,6.31861e-7,0.0001377496,0.1517901,0.001527888,0.7549152,0.001322539,0.09019849],"study_design_scores_gemma":[0.00008044551,0.00004511503,0.00005042409,0.00000331814,9.622466e-7,0.000003914558,0.000002347971,0.981257,0.009861188,0.008490953,0.0001297082,0.00007458891],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001043768,0.000006100302,0.9081987,0.0005159694,0.0002720176,0.0000706089,1.702532e-7,0.0002073775,0.08968529],"genre_scores_gemma":[0.3662982,0.000002105126,0.6322985,0.0002178782,0.00001926158,0.000007203031,2.031688e-7,0.000002970645,0.001153733],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8294669,"threshold_uncertainty_score":0.3149169,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07900838730124558,"score_gpt":0.2904865905136313,"score_spread":0.2114782032123858,"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."}}