{"id":"W1597075322","doi":"10.1007/978-3-642-14186-7_29","title":"Exploiting Circuit Representations in QBF Solving","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Solver; Set (abstract data type); Representation (politics); Simple (philosophy); Algorithm; Dual (grammatical number); Theoretical computer science; Parallel computing; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009693487,0.0006994304,0.0005083055,0.0005925758,0.0005639626,0.001693364,0.001436621,0.0009866162,0.01114645],"category_scores_gemma":[0.004758704,0.0005965198,0.001024324,0.00128473,0.001238439,0.004343528,0.001608162,0.002193189,0.001516318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009038204,"about_ca_system_score_gemma":0.0008667137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001449893,"about_ca_topic_score_gemma":0.002243866,"domain_scores_codex":[0.9990778,0.0004018009,0.00004463982,0.0001114596,0.0002616581,0.0001025468],"domain_scores_gemma":[0.9983498,0.001227358,0.00005265656,0.000259047,0.00008650986,0.00002467735],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001456283,0.00009812601,0.0001474704,0.0003475719,0.00003015979,0.0001117138,0.0002767371,0.06213902,0.007069699,0.6777314,0.004646864,0.2472556],"study_design_scores_gemma":[0.00004519503,0.00004140832,0.00004832294,0.00007288305,0.00003451957,0.00008237603,0.00006877394,0.1805874,0.006646737,0.7986978,0.01365608,0.00001849632],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009339961,0.0002137691,0.9740729,0.0003491843,0.00005607163,0.00008697117,0.00008896683,0.001031551,0.01476057],"genre_scores_gemma":[0.3713945,0.0008376831,0.6106246,0.0002816214,0.00008408971,0.0002117469,0.0005232532,0.0006360217,0.01540659],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01114645,"threshold_uncertainty_score":0.03728861,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04800651739617787,"score_gpt":0.3027290508360599,"score_spread":0.254722533439882,"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."}}