{"id":"W4242232961","doi":"10.1109/date.2010.5457088","title":"Leveraging dominators for preprocessing QBF","year":2010,"lang":"en","type":"article","venue":"","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Preprocessor; Conjunctive normal form; Computer science; Very-large-scale integration; Algorithm; True quantified Boolean formula; Time complexity; Computational complexity theory; Process (computing); Theoretical computer science; Computation; Artificial intelligence; Programming language","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.0001032805,0.00006785562,0.00006611127,0.00004108578,0.00003957651,0.00003426953,0.00007755881,0.00005555532,0.00006256138],"category_scores_gemma":[0.00001743957,0.0000619418,0.000029583,0.00004389848,0.000009967687,0.0001006136,0.000007715773,0.00009482742,0.000007008297],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007203127,"about_ca_system_score_gemma":0.000005116518,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002302316,"about_ca_topic_score_gemma":0.000002297505,"domain_scores_codex":[0.9996583,0.000001314799,0.00008117782,0.00008791629,0.00003801225,0.0001332506],"domain_scores_gemma":[0.9998004,0.00002752421,0.000007146858,0.0001145538,0.00001915297,0.00003120428],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000004225982,0.00001529832,0.0007219755,0.0002202551,0.00002142965,0.000001707774,0.0006107097,0.000207078,0.7503162,0.003457033,0.01253026,0.2318938],"study_design_scores_gemma":[0.0001811654,0.00001199569,0.0001647938,0.00001489267,0.000007743463,0.000006901284,0.00005036243,0.05056227,0.9147096,0.00666379,0.02740536,0.0002211646],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1793627,0.00004461401,0.7817102,0.0000259247,0.0003071329,0.0001792428,9.359342e-7,0.001621693,0.03674757],"genre_scores_gemma":[0.9554709,0.000002362254,0.04398319,0.00002959341,0.00007926456,0.0000421568,0.000001158507,0.00002253833,0.000368857],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7761082,"threshold_uncertainty_score":0.2525913,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007577734978648513,"score_gpt":0.2207352721370712,"score_spread":0.2131575371584226,"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."}}