{"id":"W1969787279","doi":"10.1057/jors.2013.114","title":"A comparison of several enumerative algorithms for Sudoku","year":2013,"lang":"en","type":"article","venue":"Journal of the Operational Research Society","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"HEC Montréal; Université Laval","funders":"Max-Planck-Gesellschaft","keywords":"Backtracking; Integer programming; Grid; Algorithm; Integer (computer science); Benchmark (surveying); Computer science; Set (abstract data type); Constraint (computer-aided design); Linear programming; Mathematics; Column (typography); Mathematical optimization","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":[],"consensus_categories":[],"category_scores_codex":[0.001527526,0.00006771598,0.0001868977,0.00003284634,0.0002093978,0.00006466095,0.0002899457,0.00005859815,0.00009438927],"category_scores_gemma":[0.000145986,0.00004226905,0.0002837428,0.0001792077,0.000108387,0.0002483707,0.00003083872,0.0003822505,0.000005918457],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008216316,"about_ca_system_score_gemma":0.000109191,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001013002,"about_ca_topic_score_gemma":0.000001682608,"domain_scores_codex":[0.9986536,0.0001545256,0.0003673996,0.00005238457,0.0005964529,0.0001756585],"domain_scores_gemma":[0.9984257,0.0003245115,0.00007119909,0.0001002157,0.001017699,0.00006069859],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00008170815,0.0003249584,0.003897351,0.00032588,0.001159541,6.376656e-7,0.02024466,0.2141964,0.1910423,0.02274452,0.5436751,0.002306941],"study_design_scores_gemma":[0.001797825,0.0005535143,0.01031857,0.0002515562,0.00003150226,0.00003821984,0.009702854,0.8714536,0.07347117,0.01574857,0.0163734,0.0002592024],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9728655,0.0009166356,0.02139084,0.002038488,0.0008098134,0.0009226784,0.00004238341,0.00001230123,0.001001332],"genre_scores_gemma":[0.9957913,0.00002045977,0.003304421,0.00002862649,0.0002635057,0.00002903287,0.000001635953,0.0000101484,0.0005509327],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6572573,"threshold_uncertainty_score":0.1723682,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09510289117562633,"score_gpt":0.4019980582021859,"score_spread":0.3068951670265596,"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."}}