{"id":"W4285308427","doi":"10.1007/978-3-031-08011-1_22","title":"Practically Uniform Solution Sampling in Constraint Programming","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval; Polytechnique Montréal","funders":"","keywords":"Computer science; Probabilistic logic; Modular design; Sampling (signal processing); Hash function; Theoretical computer science; Constraint (computer-aided design); Set (abstract data type); Fraction (chemistry); Algorithm; Sample (material); Linear programming; Mathematical optimization; Programming language; 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.01091366,0.00121177,0.002587187,0.001249518,0.000870129,0.002116342,0.00335542,0.001861938,0.004617512],"category_scores_gemma":[0.05285466,0.001850644,0.001057229,0.003290098,0.003224125,0.004625163,0.003977286,0.004790416,0.0006163497],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002357085,"about_ca_system_score_gemma":0.001579321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003309136,"about_ca_topic_score_gemma":0.003604137,"domain_scores_codex":[0.9892588,0.007327409,0.0002813715,0.0009443683,0.001830346,0.0003576531],"domain_scores_gemma":[0.9558523,0.03831747,0.0006351685,0.003371957,0.001317363,0.0005057313],"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.0004012075,0.0001329813,0.0007636952,0.0003982265,0.00008616877,0.00007194879,0.000155604,0.4549315,0.001038322,0.4192635,0.005246726,0.1175101],"study_design_scores_gemma":[0.00003550239,0.00003663659,0.0001023119,0.00003339272,0.00001100468,0.00002645956,0.00001945253,0.8060454,0.0004098682,0.1918244,0.001448329,0.00000729742],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003608258,0.0006164998,0.9921207,0.0002335071,0.0000375731,0.000054095,0.00004790522,0.000133093,0.003148252],"genre_scores_gemma":[0.2294415,0.0009974256,0.7631948,0.0004403705,0.0002206844,0.0006460292,0.0004210405,0.0004186223,0.004219632],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01091366,"threshold_uncertainty_score":0.05771762,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03316662803312574,"score_gpt":0.2740872931094578,"score_spread":0.2409206650763321,"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."}}