{"id":"W2070894968","doi":"10.4230/lipics.stacs.2014.300","title":"From Small Space to Small Width in Resolution","year":2014,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Vetenskapsrådet; Kungliga Tekniska Högskolan; University of Toronto; European Commission","keywords":"Resolution (logic); Upper and lower bounds; Space (punctuation); Proof complexity; Mathematics; Simple (philosophy); Polynomial; Measure (data warehouse); PSPACE; Discrete mathematics; Product (mathematics); Calculus (dental); Algorithm; Computer science; Combinatorics; Computational complexity theory; Mathematical proof; Mathematical analysis; Geometry; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.01015844,0.001357312,0.002033118,0.002592637,0.003532019,0.008614518,0.00460908,0.003488912,0.01031209],"category_scores_gemma":[0.05486294,0.001870762,0.003511679,0.002217812,0.01563871,0.04057766,0.01363269,0.01602154,0.001862179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003665199,"about_ca_system_score_gemma":0.001837477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001503178,"about_ca_topic_score_gemma":0.001290806,"domain_scores_codex":[0.9850476,0.004515257,0.000751087,0.003166232,0.004859825,0.001660106],"domain_scores_gemma":[0.9171627,0.06109948,0.002014751,0.01495124,0.003170581,0.001601356],"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.0001412725,0.00003598276,0.0005200832,0.0002010114,0.00004326496,0.00007445136,0.0005542401,0.003393489,0.001240344,0.9788633,0.001989495,0.0129431],"study_design_scores_gemma":[0.00002872138,0.00002816772,0.000141332,0.00003675855,0.00002846788,0.00006078722,0.00008367998,0.007881165,0.001993008,0.9849454,0.004748041,0.00002448367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07147561,0.00398118,0.8530731,0.01966507,0.0005030505,0.0001573597,0.0005139095,0.001843313,0.04878753],"genre_scores_gemma":[0.7745194,0.002298943,0.202606,0.003723657,0.001102428,0.0003760514,0.0004974357,0.001458761,0.01341741],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01031209,"threshold_uncertainty_score":0.05372357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02214687427575543,"score_gpt":0.2365808230029513,"score_spread":0.2144339487271959,"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."}}