{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003532407,0.001092637,0.0007361984,0.003002521,0.0008203663,0.002273358,0.00163688,0.001504106,0.004108261],"category_scores_gemma":[0.01863059,0.0007089481,0.001587526,0.0019102,0.002526102,0.003788838,0.001899954,0.001805899,0.0006202252],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001914876,"about_ca_system_score_gemma":0.001924328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002870973,"about_ca_topic_score_gemma":0.003462374,"domain_scores_codex":[0.9954021,0.001926503,0.0003848369,0.0005510477,0.001466802,0.0002687257],"domain_scores_gemma":[0.9918301,0.006239015,0.0005213242,0.000606801,0.0007122961,0.00009059594],"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.0002590674,0.0001346996,0.002479279,0.001129937,0.000204185,0.0009611184,0.0006092772,0.2037045,0.01074528,0.5225185,0.005875735,0.2513785],"study_design_scores_gemma":[0.00009185263,0.00006014726,0.0001780929,0.000176645,0.0000821643,0.0002588124,0.00009322705,0.4596975,0.006853663,0.5259354,0.006538953,0.00003366939],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006788426,0.000582869,0.9863735,0.000961843,0.00006588671,0.0001235248,0.0001323262,0.0005955952,0.00437596],"genre_scores_gemma":[0.3550766,0.00198219,0.6384056,0.0006046574,0.0001983338,0.0004005283,0.0007070958,0.0001575777,0.002467359],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004108261,"threshold_uncertainty_score":0.01868141,"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."}}