{"id":"W1588707965","doi":"10.1007/978-3-540-72788-0_29","title":"Minimum 2CNF Resolution Refutations in Polynomial Time","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Scheduling and Timetabling Solutions","field":"Decision Sciences","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Resolution (logic); Mathematics; Polynomial; Computer science; Artificial intelligence; Mathematical analysis","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","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.007073249,0.0004029132,0.0006069925,0.003566123,0.0003926601,0.0005293821,0.002044222,0.0005073755,0.00025285],"category_scores_gemma":[0.002924099,0.000351835,0.0001917961,0.002232915,0.00103145,0.0004105607,0.000473651,0.001040223,0.001104497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004618691,"about_ca_system_score_gemma":0.0008935548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008618248,"about_ca_topic_score_gemma":0.0005312253,"domain_scores_codex":[0.9940014,0.00009317684,0.001215646,0.001595095,0.002259738,0.0008349504],"domain_scores_gemma":[0.9946268,0.003040208,0.0004242785,0.001222287,0.0004751235,0.0002112696],"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.00008648827,0.0001336001,0.0005063248,0.000009147277,0.00001847961,0.0001564371,0.001694131,0.3169563,0.0004837406,0.005192925,0.001328449,0.673434],"study_design_scores_gemma":[0.0007436337,0.0001827446,0.002123228,0.0003703524,0.00002219397,0.00008057158,0.000001949952,0.7386819,0.0003110239,0.239909,0.01657979,0.0009936524],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00196349,0.0005370267,0.9731218,0.001525406,0.00245159,0.0003541662,0.00002438504,0.0001012059,0.01992098],"genre_scores_gemma":[0.4909699,0.00003934718,0.4847614,0.002397068,0.002729338,0.00001651786,0.00004374652,0.0001026233,0.01894007],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6724403,"threshold_uncertainty_score":0.9998934,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08836979546489511,"score_gpt":0.3619736445370634,"score_spread":0.2736038490721683,"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."}}