{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003282085,0.001326132,0.001387345,0.001171975,0.0007392404,0.001497242,0.002027483,0.001664427,0.006710601],"category_scores_gemma":[0.02065816,0.0007047877,0.001385443,0.001706588,0.001521629,0.002692575,0.001607374,0.002295231,0.0008931805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00140638,"about_ca_system_score_gemma":0.003009715,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004627512,"about_ca_topic_score_gemma":0.006063864,"domain_scores_codex":[0.997376,0.00109915,0.0001615991,0.0005148969,0.0006190435,0.0002293189],"domain_scores_gemma":[0.9905701,0.007559969,0.0004577368,0.0004475267,0.0008395008,0.0001252401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001221335,0.0002401653,0.001503816,0.0007236228,0.0001307581,0.0001678954,0.0002807855,0.5708641,0.001478076,0.1395867,0.00721055,0.2776914],"study_design_scores_gemma":[0.00005020851,0.00005013602,0.00008052734,0.00003779283,0.00001899283,0.00003708875,0.00002999552,0.8619145,0.0008062074,0.1345653,0.002399713,0.000009592583],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005144292,0.0002080146,0.9915401,0.0004843312,0.00003644729,0.00008886327,0.0001053912,0.0004206791,0.001971835],"genre_scores_gemma":[0.1630035,0.0004702736,0.8320566,0.0004557488,0.0001205648,0.0005416936,0.000616585,0.0001965823,0.002538375],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006710601,"threshold_uncertainty_score":0.02244914,"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."}}