{"id":"W21188937","doi":"","title":"Generalizations of Watched Literals for Backtracking Search.","year":2002,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Advanced Image and Video Retrieval Techniques","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Backtracking; Complex system; Mathematics; Theoretical computer science; Computer science; Algorithm; Discrete mathematics; Algebra over a field; Artificial intelligence; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003633079,0.001120196,0.001156306,0.003721634,0.001946189,0.003662927,0.00338342,0.002396315,0.02309076],"category_scores_gemma":[0.03097627,0.0009863056,0.003076426,0.003191961,0.002875342,0.01414545,0.003968336,0.003049765,0.003922874],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001715291,"about_ca_system_score_gemma":0.001410643,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005099034,"about_ca_topic_score_gemma":0.008966684,"domain_scores_codex":[0.9972127,0.0008219738,0.0004119165,0.0007649384,0.0005593058,0.0002291598],"domain_scores_gemma":[0.9884653,0.007551968,0.0004901255,0.002391358,0.0008598731,0.0002414695],"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.0003702786,0.0001594646,0.002090267,0.0008121135,0.000168522,0.0006309655,0.001300721,0.02107715,0.002079351,0.7362029,0.03930272,0.1958057],"study_design_scores_gemma":[0.00004919955,0.00005507246,0.0003065424,0.0001551793,0.00007998809,0.0002911516,0.0001898553,0.0781356,0.000983414,0.8988914,0.02082904,0.00003339498],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02136409,0.002749809,0.9227747,0.002937407,0.0008358951,0.0005764047,0.003675472,0.006476871,0.03860942],"genre_scores_gemma":[0.3253236,0.002008871,0.6341829,0.001974383,0.0009446921,0.0007608644,0.00904828,0.001697455,0.02405907],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02309076,"threshold_uncertainty_score":0.07724625,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2993484997997068,"score_gpt":0.3999518715604214,"score_spread":0.1006033717607147,"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."}}