{"id":"W2159832387","doi":"10.3233/sat190066","title":"Algorithms and Complexity Results for Input and Unit Resolution","year":2009,"lang":"en","type":"article","venue":"Journal on Satisfiability Boolean Modeling and Computation","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; University of Toronto","keywords":"Resolution (logic); Completeness (order theory); Space (punctuation); PSPACE; Computer science; Algorithm; Mathematics; Computational complexity theory; Artificial intelligence; Mathematical analysis","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001008963,0.0001318229,0.0001879679,0.00009621657,0.0002692484,0.0001194402,0.00003152024,0.00007123756,2.994719e-7],"category_scores_gemma":[0.00005449185,0.0001247186,0.00003237422,0.00006198881,0.00004361889,0.0001588341,0.000007020806,0.0001993644,3.244628e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002868658,"about_ca_system_score_gemma":0.000008055446,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006178107,"about_ca_topic_score_gemma":0.000004532463,"domain_scores_codex":[0.9990735,0.00009727309,0.0003784826,0.0001810823,0.0001207104,0.0001489723],"domain_scores_gemma":[0.9995387,0.0001258158,0.00006341849,0.00007631688,0.00008401088,0.0001117084],"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.0002836838,0.00003078383,0.0002322795,0.0000887408,0.00002503186,0.00000148651,0.0009634199,0.8012514,0.0001661244,0.00537606,0.00008103355,0.1915],"study_design_scores_gemma":[0.0008264806,0.0002664539,0.005257818,0.00007569375,0.00001351378,0.00004651934,0.0001312201,0.8579976,0.00001180945,0.1351947,0.00006119217,0.0001170566],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6590968,0.0002265534,0.3400695,0.0001691244,0.00009028042,0.0001670784,0.00001325663,0.00005667801,0.0001106785],"genre_scores_gemma":[0.9920971,0.00008356517,0.007629533,0.00005946812,0.0001019528,0.000003366772,0.00001137308,0.000008663786,0.000005003777],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3330003,"threshold_uncertainty_score":0.5085875,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05055338728897672,"score_gpt":0.2739712533785834,"score_spread":0.2234178660896066,"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."}}