{"id":"W3147898783","doi":"10.1109/date.2008.4484814","title":"Quantified Synthesis of Reversible Logic","year":2008,"lang":"en","type":"article","venue":"2008 Design, Automation and Test in Europe","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"","keywords":"Toffoli gate; Boolean function; Boolean satisfiability problem; Reversible computing; Computer science; Satisfiability; And-inverter graph; Binary decision diagram; Generalization; Logic synthesis; Logic gate; Boolean circuit; Boolean algebra; True quantified Boolean formula; Quantum computer; Theoretical computer science; Quantum; Algorithm; Mathematics; Quantum gate","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.0009002386,0.000506799,0.0005349998,0.000673237,0.0004348819,0.001114459,0.0007277264,0.0005969461,0.004847148],"category_scores_gemma":[0.002459907,0.0003872442,0.000749204,0.0005451724,0.001028645,0.001588205,0.0007919344,0.0008490045,0.0004654686],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001071496,"about_ca_system_score_gemma":0.00110111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005855416,"about_ca_topic_score_gemma":0.001167535,"domain_scores_codex":[0.9988838,0.0002827535,0.00007350093,0.0001912756,0.0004888722,0.00007983763],"domain_scores_gemma":[0.9992975,0.0003662705,0.00006846417,0.000138122,0.0001097271,0.0000198518],"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.00009183971,0.00004842309,0.0001214159,0.000468708,0.00005297098,0.00012455,0.000100611,0.1676978,0.04193024,0.688952,0.001126286,0.0992851],"study_design_scores_gemma":[0.00006259252,0.0001481827,0.0001398213,0.000102312,0.00005316021,0.0001443133,0.00003715139,0.5282344,0.06560131,0.38032,0.02511413,0.00004257836],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02003041,0.0006937511,0.9669964,0.0002311879,0.000124511,0.00007129449,0.0001382511,0.0006399393,0.01107427],"genre_scores_gemma":[0.5062162,0.0009561736,0.4864276,0.0001712499,0.00005122814,0.0001803671,0.0003052056,0.0002222138,0.005469768],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004847148,"threshold_uncertainty_score":0.01621532,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02966612485944461,"score_gpt":0.2310510608777906,"score_spread":0.201384936018346,"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."}}