{"id":"W1974070050","doi":"10.1002/rsa.10089","title":"Space complexity of random formulae in resolution","year":2003,"lang":"en","type":"article","venue":"Random Structures and Algorithms","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canadian Institute for Advanced Research","funders":"","keywords":"Space (punctuation); Resolution (logic); Computer science; Mathematics; Artificial intelligence","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.01059411,0.0007591376,0.002310361,0.001799774,0.00170792,0.00450786,0.004487703,0.002574031,0.01082665],"category_scores_gemma":[0.07077478,0.00110151,0.002218955,0.002024437,0.004166876,0.01088822,0.004132679,0.003465591,0.0007791726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004220206,"about_ca_system_score_gemma":0.003034224,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002593603,"about_ca_topic_score_gemma":0.002469519,"domain_scores_codex":[0.9816566,0.008455631,0.0009944747,0.00251896,0.00424944,0.002124972],"domain_scores_gemma":[0.8646049,0.1154568,0.004684088,0.01060245,0.002853912,0.001797903],"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.002719929,0.0004912352,0.009522404,0.0008758113,0.0005751632,0.0007005301,0.001335258,0.6066797,0.0180929,0.2946386,0.006176455,0.058192],"study_design_scores_gemma":[0.0001495573,0.0001296658,0.0008421839,0.00002891383,0.00009581519,0.0001663272,0.00014113,0.8217736,0.005899857,0.1698202,0.0009126341,0.00004003415],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6435637,0.0007106917,0.338526,0.005164404,0.0000836995,0.0003942041,0.001161566,0.001892345,0.008503458],"genre_scores_gemma":[0.955188,0.000231607,0.04010147,0.0003900488,0.00008409814,0.0002463345,0.0007010237,0.000327472,0.002729826],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01082665,"threshold_uncertainty_score":0.05602771,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02431304330521862,"score_gpt":0.253169672390741,"score_spread":0.2288566290855223,"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."}}