{"id":"W1564382958","doi":"10.1007/11546207_21","title":"Lookahead in Smodels Compared to Local Consistencies in CSP","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Pruning; Computer science; Local consistency; Solver; Set (abstract data type); Answer set programming; Constraint satisfaction problem; Consistency (knowledge bases); Constraint (computer-aided design); Constraint programming; Theoretical computer science; Algorithm; Mathematical optimization; Programming language; Artificial intelligence; Mathematics","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.005188756,0.0007366455,0.001902449,0.0009105852,0.00112928,0.002262743,0.002104096,0.00125233,0.01108962],"category_scores_gemma":[0.01419338,0.0007316599,0.0007222914,0.001690779,0.001813917,0.007572796,0.002330678,0.002798814,0.0008550203],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001337085,"about_ca_system_score_gemma":0.002143806,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003357336,"about_ca_topic_score_gemma":0.005579047,"domain_scores_codex":[0.9971845,0.001458769,0.0001332348,0.0003201954,0.000530721,0.0003725342],"domain_scores_gemma":[0.9800869,0.01558543,0.0006486958,0.002048582,0.0009544026,0.0006759677],"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.005766552,0.000567706,0.002184178,0.0004483286,0.0001236833,0.0001049465,0.0003814001,0.6337645,0.003048184,0.1942215,0.008258479,0.1511304],"study_design_scores_gemma":[0.0001124634,0.000279989,0.0001985207,0.00002571617,0.0000468385,0.00001962363,0.00006003627,0.9166924,0.001283611,0.08060863,0.0006567246,0.00001547086],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.4104766,0.002291751,0.5605373,0.00144049,0.0002754963,0.0001601803,0.0003885623,0.004821114,0.01960846],"genre_scores_gemma":[0.9120656,0.0003414963,0.08243979,0.0001467668,0.00007677959,0.00008730138,0.0003198521,0.0004502798,0.004072238],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01108962,"threshold_uncertainty_score":0.03709847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02586779464168893,"score_gpt":0.2517684806384481,"score_spread":0.2259006859967592,"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."}}