{"id":"W2105786826","doi":"10.1016/j.artint.2009.06.005","title":"Data reductions, fixed parameter tractability, and random weighted d-CNF satisfiability","year":2009,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia, Okanagan Campus; University of British Columbia","funders":"","keywords":"Satisfiability; Mathematics; Combinatorics; Discrete mathematics; Boolean satisfiability problem; Statistics","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.01025718,0.001690759,0.002721735,0.002534858,0.002145475,0.004000567,0.006407272,0.002556576,0.01117865],"category_scores_gemma":[0.05896621,0.001486719,0.004730441,0.00546218,0.005426737,0.01170548,0.005623435,0.007825568,0.00116086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00543128,"about_ca_system_score_gemma":0.00419675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01114528,"about_ca_topic_score_gemma":0.01385551,"domain_scores_codex":[0.9878664,0.004731551,0.0006930686,0.002533132,0.003040884,0.001134961],"domain_scores_gemma":[0.9406945,0.04193028,0.001543211,0.0130631,0.002265403,0.0005034052],"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.000345464,0.0002490087,0.001101539,0.0004248985,0.0001522827,0.0002037325,0.0002759562,0.2225082,0.001350275,0.715967,0.01039476,0.04702685],"study_design_scores_gemma":[0.00005382457,0.00002039367,0.0001161363,0.00003152863,0.00003460198,0.00004448014,0.0000296285,0.1984105,0.0007572601,0.7988596,0.001622707,0.00001937483],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03646027,0.0004704278,0.941749,0.00287362,0.0001035647,0.0002504081,0.001692304,0.001157855,0.01524255],"genre_scores_gemma":[0.5023862,0.0008604088,0.4731004,0.001683873,0.0002671734,0.001424486,0.005016392,0.001547636,0.01371361],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01117865,"threshold_uncertainty_score":0.05424577,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07382149957098402,"score_gpt":0.3191596025939583,"score_spread":0.2453381030229743,"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."}}