{"id":"W2169019194","doi":"10.1109/ismvl.2007.59","title":"Variable Reordering and Sifting for QMDD","year":2007,"lang":"en","type":"article","venue":"Proceedings/Proceedings - International Symposium on Multiple-Valued Logic","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Variable (mathematics); Computer science; Quantum; Electronic circuit; Algorithm; Mathematics; Engineering; Electrical engineering; Physics","routes":{"ca_aff":true,"ca_fund":true,"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.0008981585,0.0004786503,0.0005452202,0.0008266069,0.000446666,0.0007976423,0.000749409,0.0003654139,0.00240707],"category_scores_gemma":[0.00157223,0.0002387818,0.0005988505,0.0008528368,0.0009197219,0.001681651,0.0005516962,0.0006865472,0.000373971],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005938233,"about_ca_system_score_gemma":0.0005978955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006303483,"about_ca_topic_score_gemma":0.0008850258,"domain_scores_codex":[0.9991189,0.000281663,0.00008565072,0.0001673724,0.000254091,0.00009238919],"domain_scores_gemma":[0.9990144,0.0004127857,0.0001077946,0.0003428311,0.0001020495,0.00002013284],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002612934,0.00004330732,0.0006703,0.0003991413,0.00003740548,0.0004429308,0.000326955,0.05679938,0.05873174,0.4261512,0.001720708,0.4544156],"study_design_scores_gemma":[0.00009642038,0.0005091826,0.0004819479,0.0001600435,0.0001124417,0.001078429,0.0001870832,0.3776986,0.2132278,0.339775,0.06655746,0.0001155846],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01524506,0.0004080743,0.9818979,0.00005937986,0.00005117029,0.00004242203,0.00004081643,0.000561084,0.001694081],"genre_scores_gemma":[0.3856291,0.000650475,0.610052,0.0001204958,0.00006789654,0.00007061961,0.0002192925,0.0002131366,0.002977091],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00240707,"threshold_uncertainty_score":0.008052468,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03196247815666418,"score_gpt":0.3046107170511642,"score_spread":0.2726482388945,"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."}}