{"id":"W1480301700","doi":"10.1007/11564751_43","title":"Using SAT in QBF","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":40,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science","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.001914405,0.001050308,0.001167077,0.001216744,0.001027568,0.003545744,0.00167992,0.001085153,0.02613645],"category_scores_gemma":[0.008060745,0.0010892,0.001711376,0.003195689,0.001977803,0.01065507,0.002433348,0.002947176,0.00532005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002017028,"about_ca_system_score_gemma":0.001026796,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00259729,"about_ca_topic_score_gemma":0.003307537,"domain_scores_codex":[0.9980469,0.0008964791,0.0001401474,0.0003172609,0.0004728074,0.0001264224],"domain_scores_gemma":[0.9973726,0.001797562,0.00007587602,0.0005340314,0.0001796238,0.00004028281],"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.0000755017,0.00004419787,0.0001437276,0.0003245582,0.00004317123,0.0000625567,0.0001871856,0.015099,0.001128344,0.8219648,0.01061128,0.1503157],"study_design_scores_gemma":[0.00001587522,0.00001150941,0.00004110332,0.00006254736,0.00002233528,0.00004452674,0.00002396313,0.03176087,0.000899117,0.9455484,0.0215582,0.00001152409],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003860716,0.001401887,0.9495897,0.001855453,0.0003700757,0.00007246577,0.0003272945,0.001587858,0.04093458],"genre_scores_gemma":[0.2388074,0.003702129,0.7022977,0.000922246,0.0005963225,0.000321984,0.001431355,0.001422536,0.05049837],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02613645,"threshold_uncertainty_score":0.08743519,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02741750222392105,"score_gpt":0.2642990166218196,"score_spread":0.2368815143978985,"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."}}