{"id":"W2036975612","doi":"10.1007/978-3-540-74970-7_52","title":"Solution Counting Algorithms for Constraint-Centered Search Heuristics","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Heuristics; Benchmark (surveying); Computer science; Exploit; Constraint (computer-aided design); Key (lock); Inference; Counting problem; Constraint programming; Search algorithm; Algorithm; Theoretical computer science; Mathematical optimization; Mathematics; Artificial intelligence","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.003812733,0.002243755,0.002640078,0.003505384,0.001452091,0.003479406,0.006596986,0.002696594,0.01732481],"category_scores_gemma":[0.02172599,0.001757579,0.00190309,0.007672381,0.001405341,0.005639844,0.002898237,0.004774964,0.003695003],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002832791,"about_ca_system_score_gemma":0.003802451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00543745,"about_ca_topic_score_gemma":0.008464715,"domain_scores_codex":[0.9963187,0.001318868,0.000230337,0.0005304436,0.001152102,0.0004495758],"domain_scores_gemma":[0.989239,0.007312678,0.0005243114,0.001414772,0.001237262,0.0002719401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004168371,0.0003972241,0.0005105385,0.0005160959,0.0001125038,0.00006926148,0.0001663098,0.2512099,0.002332624,0.1282368,0.02280463,0.5932272],"study_design_scores_gemma":[0.00009657919,0.00006099142,0.0001411939,0.0000764069,0.00004380083,0.00005058021,0.00003351501,0.9069515,0.001729325,0.08589337,0.004898425,0.00002429243],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003456838,0.0005306884,0.9889414,0.0001650061,0.00008710978,0.0001850089,0.0001221571,0.001230132,0.005281755],"genre_scores_gemma":[0.03905685,0.0003836017,0.9543443,0.0002015176,0.00006568682,0.0004599958,0.0006097074,0.0005428329,0.004335545],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01732481,"threshold_uncertainty_score":0.05795723,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05260028224120177,"score_gpt":0.2967685776612226,"score_spread":0.2441682954200208,"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."}}