{"id":"W4242222923","doi":"10.1109/iccad.1990.129967","title":"A method for concurrent decomposition and factorization of Boolean expressions","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Literal (mathematical logic); Decomposition; Factorization; Simplicity; Algebraic expression; Cube (algebra); Benchmark (surveying); Computer science; Duality (order theory); Theoretical computer science; Algebraic number; Algorithm; Algebra over a field; Mathematics; Discrete mathematics; Combinatorics; Pure mathematics","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.001658903,0.001678061,0.001063613,0.001912308,0.001595946,0.002320208,0.00175196,0.0008059235,0.01232908],"category_scores_gemma":[0.004527275,0.001122928,0.002126441,0.001336722,0.001741679,0.003223163,0.003108824,0.002488826,0.004395503],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001364609,"about_ca_system_score_gemma":0.002503607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00249903,"about_ca_topic_score_gemma":0.002848157,"domain_scores_codex":[0.9975811,0.0004142345,0.0002163064,0.00068091,0.0009007907,0.0002066139],"domain_scores_gemma":[0.9982784,0.0006849902,0.0001201405,0.000406002,0.0004300579,0.000080322],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002373596,0.0001646263,0.0004980923,0.000566164,0.0001036951,0.0003938108,0.0005940428,0.01667525,0.04341758,0.3425883,0.01479331,0.5799677],"study_design_scores_gemma":[0.0002542891,0.0001906003,0.0002583019,0.0002961218,0.0001779819,0.001626094,0.000203602,0.2837245,0.078281,0.4391229,0.1957085,0.0001559631],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005123239,0.0000447253,0.9967328,0.00003163898,0.00002984283,0.00009722098,0.00004112459,0.001206643,0.001303663],"genre_scores_gemma":[0.0131642,0.00007430476,0.9831249,0.00004320819,0.00002190203,0.0002690805,0.000180498,0.0003898648,0.002732145],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01232908,"threshold_uncertainty_score":0.04124486,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05892151951455472,"score_gpt":0.3737392400747193,"score_spread":0.3148177205601646,"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."}}