{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008588752,0.0007509639,0.0007906201,0.001141601,0.0007024277,0.0007420534,0.001089187,0.000651911,0.003685874],"category_scores_gemma":[0.003250586,0.0006144569,0.002251406,0.0008666113,0.001557044,0.001766006,0.00185014,0.001483436,0.000881384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007772749,"about_ca_system_score_gemma":0.00133262,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001975573,"about_ca_topic_score_gemma":0.001756789,"domain_scores_codex":[0.9984792,0.0004076396,0.00006561863,0.0002642351,0.0006162674,0.0001670652],"domain_scores_gemma":[0.9985819,0.0006440965,0.00008391156,0.0004755741,0.0001932427,0.0000212788],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002504487,0.0002087012,0.001516836,0.0004119869,0.0001705927,0.0008196495,0.0004926351,0.233655,0.04284222,0.5420554,0.007154631,0.1704217],"study_design_scores_gemma":[0.00007199248,0.00009902725,0.0003352142,0.00003812343,0.0001187583,0.0003071214,0.00004708127,0.6104938,0.04152606,0.3282053,0.01870717,0.00005035907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01498021,0.0001494083,0.976521,0.000226693,0.00006497095,0.00014327,0.0001239727,0.001434258,0.006356321],"genre_scores_gemma":[0.5047187,0.0006794494,0.4819153,0.0003152596,0.0000829085,0.0007355054,0.0009763294,0.0009037135,0.009672817],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003685874,"threshold_uncertainty_score":0.01233041,"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."}}