{"id":"W2125490728","doi":"10.1007/978-1-4615-0292-0_18","title":"A Method for Concurrent Decomposition and Factorization of Boolean Expressions","year":2003,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Simplicity; Literal (mathematical logic); Factorization; Cube (algebra); Algebraic expression; Decomposition; Benchmark (surveying); Duality (order theory); Computer science; Mathematics; Algorithm; Algebraic number; Algebra over a field; Theoretical computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003605898,0.0001705518,0.0002450726,0.0001323153,0.00006618661,0.00003718797,0.0002481389,0.000183628,0.00002478316],"category_scores_gemma":[0.00004115774,0.0001556366,0.00007436128,0.00002848271,0.00003421834,0.0002294954,0.0000792514,0.00009745608,0.000001780693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000360547,"about_ca_system_score_gemma":0.00003203209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001876401,"about_ca_topic_score_gemma":6.453649e-7,"domain_scores_codex":[0.9989863,0.00005307449,0.0003457131,0.0003415912,0.0001680517,0.0001052558],"domain_scores_gemma":[0.9989048,0.0001821357,0.0003335837,0.0003458014,0.000173627,0.00006003964],"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.000002383434,0.000008166145,7.586733e-7,0.00005355457,0.00001166469,6.862663e-8,0.00008587849,0.000005527642,0.001641026,0.9248405,0.0003719198,0.07297853],"study_design_scores_gemma":[0.0009706469,0.0006024185,0.0000637585,0.0005685938,0.0001282227,0.00002673315,0.00001748961,0.08430229,0.08168177,0.4358329,0.3948281,0.0009770781],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[9.550994e-7,0.0001437827,0.9457249,0.00004863795,0.0004194996,0.0004619022,0.00002357055,0.00005156978,0.05312515],"genre_scores_gemma":[0.0002126308,0.00007228657,0.9818148,0.00007539286,0.00002811223,0.00002623946,0.00003218638,0.00001628386,0.01772206],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4890076,"threshold_uncertainty_score":0.6346678,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04805647182341729,"score_gpt":0.3630438527436214,"score_spread":0.3149873809202041,"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."}}