{"id":"W4377231228","doi":"10.1007/978-3-031-33271-5_24","title":"A Weighted Counting Algorithm for the Circuit Constraint","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Constraint (computer-aided design); Probabilistic logic; Estimator; Algorithm; Constraint programming; Measure (data warehouse); Graph; Theoretical computer science; Mathematical optimization; Mathematics; Artificial intelligence; Stochastic programming; Data mining; 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.001278233,0.001995571,0.001865354,0.002835147,0.00156708,0.003023027,0.005181506,0.001773284,0.02973022],"category_scores_gemma":[0.006877793,0.001104828,0.001743111,0.005956702,0.0009233526,0.005403132,0.00284483,0.003074273,0.005987816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001954505,"about_ca_system_score_gemma":0.003068041,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006642934,"about_ca_topic_score_gemma":0.009589251,"domain_scores_codex":[0.9980701,0.0003484673,0.0001234229,0.0004676655,0.0007797756,0.0002106214],"domain_scores_gemma":[0.997272,0.001239528,0.0001176735,0.0006211171,0.0006407684,0.0001088865],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000187587,0.0002071944,0.0002570709,0.0002909239,0.00006698452,0.0000653591,0.00007008852,0.04844695,0.006624286,0.09590382,0.02128493,0.8265949],"study_design_scores_gemma":[0.000127432,0.0000827804,0.0002563257,0.00007175307,0.00007679151,0.0001738825,0.00005255799,0.7941631,0.006762605,0.1738661,0.02431949,0.00004722446],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002885806,0.0001749831,0.9882596,0.0001503195,0.00009705034,0.0001474183,0.0001943753,0.001220993,0.006869405],"genre_scores_gemma":[0.0226421,0.0001934535,0.9650788,0.0001333754,0.00008365117,0.0002656173,0.0008186717,0.000810094,0.009974171],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02973022,"threshold_uncertainty_score":0.0994575,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02418396410470778,"score_gpt":0.2443947052268838,"score_spread":0.2202107411221761,"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."}}