{"id":"W2104749823","doi":"","title":"Learning to solve QBF","year":2007,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":80,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Heuristics; Computer science; Solver; Heuristic; Boolean satisfiability problem; Mathematical optimization; Maximum satisfiability problem; Boolean data type; Classifier (UML); Set (abstract data type); Algorithm; Artificial intelligence; Theoretical computer science; Mathematics; Boolean function","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.0001775904,0.00003061963,0.00002787144,0.00006487158,0.00005473928,0.00005038568,0.0001005404,0.00001507048,0.0001624744],"category_scores_gemma":[0.00002713133,0.00002865719,0.00001330983,0.0001932322,0.000004459022,0.0001348826,0.00004370443,0.00004328079,0.0002523801],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001360909,"about_ca_system_score_gemma":0.00001102886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009683136,"about_ca_topic_score_gemma":0.00003541819,"domain_scores_codex":[0.9996427,0.000003577138,0.00006781643,0.0001039337,0.0000787089,0.0001032194],"domain_scores_gemma":[0.9997781,0.00002857318,0.00001190636,0.00008635841,0.00002948085,0.00006558607],"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.000001685527,0.000007626266,0.002833133,8.260876e-7,0.000002608137,0.000004473474,0.0009963354,0.006412263,0.0009414122,0.1264213,0.001050669,0.8613276],"study_design_scores_gemma":[0.0009303344,0.0004112851,0.2520827,0.0000222791,0.000005351046,0.00008392797,0.001392059,0.4560632,0.02183157,0.00275931,0.2634858,0.0009320701],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0029988,0.000001227883,0.9314801,0.0007808311,0.0001379565,0.0000343847,1.757109e-8,0.0001829096,0.06438376],"genre_scores_gemma":[0.6070768,8.198058e-7,0.3898621,0.0009397455,0.00002288426,6.037209e-7,2.776317e-7,0.000001796728,0.002094998],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8603956,"threshold_uncertainty_score":0.324392,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008842868261025316,"score_gpt":0.2458777848377235,"score_spread":0.2370349165766981,"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."}}