{"id":"W4251324159","doi":"10.1109/aspdac.2004.1337569","title":"Design diagnosis using Boolean satisfiability","year":2004,"lang":"en","type":"article","venue":"ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Boolean satisfiability problem; Computer science; Satisfiability; Maximum satisfiability problem; Boolean function; And-inverter graph; Theoretical computer science; Boolean expression; Algorithm","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002994867,0.0007360307,0.0007268697,0.0004553462,0.0007256352,0.000862918,0.001173495,0.0004836796,0.0001032736],"category_scores_gemma":[0.000805969,0.000749694,0.0001707478,0.001061676,0.0004234413,0.002081484,0.000132675,0.0004303348,0.0004784788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005807019,"about_ca_system_score_gemma":0.001187591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001175679,"about_ca_topic_score_gemma":0.000004144725,"domain_scores_codex":[0.9941227,0.00126746,0.001210689,0.001465794,0.0009329047,0.001000383],"domain_scores_gemma":[0.9959829,0.0004032763,0.0007407729,0.001634273,0.0007568998,0.0004818088],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005229674,0.002560402,0.01687473,0.001344181,0.0007802451,0.0002466298,0.1044285,0.2754493,0.1034425,0.1682491,0.006222362,0.3198791],"study_design_scores_gemma":[0.00197213,0.0005314681,0.006713781,0.0003444637,0.00011934,0.0001068323,0.001374889,0.9352224,0.03029687,0.0213849,0.0002769305,0.001655981],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02914545,0.0001285662,0.9657448,0.0003133069,0.001240487,0.001617496,0.00002268523,0.0008433034,0.0009439251],"genre_scores_gemma":[0.4912368,0.00004188987,0.5082098,0.00009803329,0.00008872775,0.0001668625,0.00001116949,0.00003537328,0.000111385],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6597731,"threshold_uncertainty_score":0.9994954,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07978221306230644,"score_gpt":0.2908238733196982,"score_spread":0.2110416602573918,"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."}}