{"id":"W3170003207","doi":"10.1007/978-3-030-78230-6_16","title":"On the Usefulness of Linear Modular Arithmetic in Constraint Programming","year":2021,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Modular design; Hash function; Theoretical computer science; Checksum; Linear programming; Mathematical optimization; Algorithm; Programming language; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001065369,0.0003772455,0.0005487336,0.0004420259,0.0001528585,0.0001388877,0.001647388,0.0001694828,0.00001371652],"category_scores_gemma":[0.000237621,0.0002702099,0.0001084511,0.0007378921,0.000971904,0.0003251711,0.0009898469,0.0007472128,0.00000555097],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001322687,"about_ca_system_score_gemma":0.0004748521,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003742189,"about_ca_topic_score_gemma":0.000140318,"domain_scores_codex":[0.9969852,0.00006981533,0.0005795051,0.001072997,0.0008234375,0.0004690267],"domain_scores_gemma":[0.9971571,0.0007338695,0.0002936146,0.001506001,0.0002327422,0.00007667865],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003087316,0.00003827091,0.00001492222,0.00007237526,0.000008027103,0.0001917823,0.0008237001,0.05252666,0.0001052347,0.6161572,0.000001682792,0.330057],"study_design_scores_gemma":[0.0004953175,0.0003391847,0.00008573063,0.004112841,0.000008826623,0.000185702,0.000007063023,0.8559051,0.009466731,0.1230523,0.005223326,0.001117857],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006704667,0.0002511801,0.9968759,0.0005798944,0.0007371281,0.000436352,0.00001093737,0.00004353908,0.0003945686],"genre_scores_gemma":[0.2702597,0.00002140913,0.7287594,0.0006024966,0.0001735565,0.00003004794,0.0000072469,0.00002892696,0.0001171467],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8033784,"threshold_uncertainty_score":0.999975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02747435905450191,"score_gpt":0.2477633709259295,"score_spread":0.2202890118714276,"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."}}