{"id":"W4230233658","doi":"10.1109/date.2004.1268858","title":"Managing don't cares in Boolean satisfiability","year":2004,"lang":"en","type":"article","venue":"Proceedings Design, Automation and Test in Europe Conference and Exhibition","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Satisfiability; Boolean satisfiability problem; Computer science; And-inverter graph; Boolean circuit; Very-large-scale integration; Boolean function; Circuit minimization for Boolean functions; Maximum satisfiability problem; Theoretical computer science; Representation (politics); Process (computing); Boolean expression; Computability; Algorithm; Programming language; 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.005398682,0.001052623,0.00162772,0.001588055,0.002645822,0.003587716,0.002605261,0.002173831,0.006097516],"category_scores_gemma":[0.03153857,0.001314487,0.001625581,0.001350092,0.003465982,0.008266523,0.003274149,0.003214073,0.0006825448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002052927,"about_ca_system_score_gemma":0.002992391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003673336,"about_ca_topic_score_gemma":0.007072774,"domain_scores_codex":[0.9938212,0.002339633,0.0003915564,0.0008440287,0.001760855,0.0008427125],"domain_scores_gemma":[0.9752529,0.01961304,0.001299717,0.002088703,0.001373128,0.0003724885],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002294931,0.0007203844,0.009467917,0.0009218215,0.0002569008,0.002643074,0.001904146,0.2426481,0.01625424,0.3320342,0.01390161,0.3769526],"study_design_scores_gemma":[0.0002699787,0.0003118988,0.0007560355,0.000196187,0.0002113605,0.0008356216,0.000735088,0.5548601,0.02729036,0.4018763,0.01253408,0.0001230311],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2590926,0.001434971,0.7088359,0.003710308,0.000335064,0.0005888707,0.0004079051,0.002847183,0.02274727],"genre_scores_gemma":[0.7565995,0.0006057452,0.234033,0.0009930333,0.00008752925,0.0003180979,0.0004976465,0.0006513347,0.006214193],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006097516,"threshold_uncertainty_score":0.02855128,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03486099874340715,"score_gpt":0.2634861605072138,"score_spread":0.2286251617638067,"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."}}