{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001288622,0.001579802,0.00095038,0.001533862,0.001454602,0.002228842,0.001588105,0.000895878,0.02103223],"category_scores_gemma":[0.003175813,0.001390841,0.002224475,0.001148715,0.001994359,0.003653059,0.0021038,0.003039785,0.007135816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001102336,"about_ca_system_score_gemma":0.001802071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002936303,"about_ca_topic_score_gemma":0.003992303,"domain_scores_codex":[0.9986953,0.0002079801,0.00010277,0.0003565268,0.0005161723,0.0001212511],"domain_scores_gemma":[0.9988066,0.0005402772,0.00004016468,0.0003106898,0.0002525668,0.00004981681],"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.0001402386,0.00009405578,0.0001382368,0.0004422132,0.00004691163,0.000198264,0.0006916744,0.004688824,0.01912502,0.5510126,0.01986797,0.403554],"study_design_scores_gemma":[0.000168673,0.00008221885,0.0001623798,0.0002650396,0.0001333955,0.0009270162,0.0001539677,0.0793236,0.04880087,0.5984471,0.271435,0.0001007061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003473076,0.00008592408,0.9940743,0.00004115329,0.00006794932,0.0000694374,0.00005283043,0.001108839,0.004152279],"genre_scores_gemma":[0.01517743,0.0002369137,0.9680769,0.0000869455,0.00005397148,0.0002500996,0.000249073,0.0009540871,0.01491461],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02103223,"threshold_uncertainty_score":0.07035977,"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."}}