{"id":"W2125336041","doi":"","title":"Generalized nogoods in CSPs","year":2005,"lang":"en","type":"article","venue":"National Conference on Artificial Intelligence","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":84,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Solver; Computer science; Boolean satisfiability problem; Mathematical optimization; Yield (engineering); Artificial intelligence; Theoretical computer science; Mathematics; Programming language","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.003386635,0.0008109578,0.001050419,0.0009663551,0.001133426,0.001907094,0.002026497,0.000996199,0.004415701],"category_scores_gemma":[0.01193492,0.0006162244,0.001681312,0.001368451,0.002895667,0.005236121,0.00322852,0.003713175,0.0005539603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001362969,"about_ca_system_score_gemma":0.002433061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003922661,"about_ca_topic_score_gemma":0.007416582,"domain_scores_codex":[0.9968732,0.001166956,0.0002436638,0.0006027322,0.000842881,0.0002705596],"domain_scores_gemma":[0.9934101,0.003919867,0.0003965061,0.001089009,0.0009275556,0.0002569813],"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.0001980551,0.0001347361,0.001203703,0.0005171665,0.0001187292,0.0003555418,0.0004141726,0.2878692,0.004885084,0.5652801,0.005121863,0.1339017],"study_design_scores_gemma":[0.00003524329,0.000032878,0.0001140421,0.00002635122,0.00002471014,0.00009809757,0.00006751413,0.2307551,0.002422502,0.7609527,0.005446642,0.0000243212],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01989001,0.0002602822,0.975105,0.0005092668,0.00006787298,0.00012103,0.0002241243,0.0007074159,0.003115025],"genre_scores_gemma":[0.3568901,0.0006463838,0.6356642,0.0006434611,0.0001420571,0.000408759,0.0007279252,0.0004097173,0.004467491],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004415701,"threshold_uncertainty_score":0.01791042,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1145998237209562,"score_gpt":0.3476652843411281,"score_spread":0.2330654606201719,"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."}}