{"id":"W2186752618","doi":"10.1007/978-3-642-30353-1_36","title":"Dsharp: Fast d-DNNF Compilation with sharpSAT","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Topic Modeling","field":"Computer Science","cited_by":108,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Compiler; Exploit; Programming language; Negation; Representation (politics); Theoretical computer science; De facto; Algorithm","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006978362,0.000583914,0.0005176022,0.0006885158,0.0002709863,0.0005879818,0.003240222,0.0003008216,0.00005698295],"category_scores_gemma":[0.00002714265,0.0004881142,0.0000946926,0.0005115422,0.0004429111,0.001216543,0.001261478,0.0008603191,0.0001209748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003356656,"about_ca_system_score_gemma":0.0004007398,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001873722,"about_ca_topic_score_gemma":0.000107639,"domain_scores_codex":[0.9957973,0.00002928011,0.0004948274,0.001579591,0.001255312,0.000843732],"domain_scores_gemma":[0.997144,0.0002428906,0.0003204249,0.001789041,0.0002524313,0.0002511511],"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.000006155448,0.00002693248,0.0003957138,0.00003930866,0.00001256873,0.00004488648,0.001173728,0.05949134,0.00006233046,0.04003936,0.00002149773,0.8986862],"study_design_scores_gemma":[0.0003986119,0.0002001954,0.0005444643,0.0005603499,0.00001459465,0.0001678475,2.132002e-7,0.947913,0.0006004779,0.0449711,0.00354506,0.001084106],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009569203,0.0004392932,0.9895591,0.0006352362,0.001255398,0.0003885192,0.000006754068,0.0002493455,0.007370668],"genre_scores_gemma":[0.3240904,0.00002527562,0.6725836,0.001463668,0.001029298,0.00001112801,0.00001478498,0.00005512974,0.0007266295],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8976021,"threshold_uncertainty_score":0.9997571,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02359578920508502,"score_gpt":0.2359083907429924,"score_spread":0.2123126015379074,"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."}}