{"id":"W2041745502","doi":"10.1016/j.disopt.2010.08.004","title":"Generalized resolution search","year":2010,"lang":"en","type":"article","venue":"Discrete Optimization","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Resolution (logic); Mathematics; Mathematical optimization; Branch and bound; Flexibility (engineering); Process (computing); Guided Local Search; Algorithm; Search algorithm; Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002304497,0.0001064094,0.00008753308,0.0001486767,0.0002021041,0.0002219455,0.0002840653,0.00009349344,0.000379947],"category_scores_gemma":[0.00005654201,0.0001054221,0.0000478052,0.0004426069,0.00004779292,0.0007774445,0.00008047161,0.0001768784,0.00004474948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002344611,"about_ca_system_score_gemma":0.00006415806,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002469147,"about_ca_topic_score_gemma":0.00002542018,"domain_scores_codex":[0.9990025,0.00006247719,0.0001918633,0.0002993164,0.0002440372,0.0001998502],"domain_scores_gemma":[0.9992739,0.00002309349,0.00006128454,0.0003978838,0.0001484319,0.00009540353],"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.000006647,0.00001580504,0.0004885508,0.000003307666,0.000006343714,0.000001540254,0.000225623,0.8628638,0.002142423,0.1212478,0.0002974743,0.01270065],"study_design_scores_gemma":[0.0003189393,0.00001524335,0.001125424,0.00000301915,0.000003232001,0.00001123149,0.00001398041,0.9965625,0.0008374019,0.0002213885,0.0007495973,0.0001380782],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004244527,0.000008267522,0.9873836,0.001360821,0.0006043422,0.000169758,0.000002683735,0.0002935957,0.005932389],"genre_scores_gemma":[0.3730896,0.00002970259,0.6261147,0.0001915731,0.00008361483,0.00001328751,0.00007173539,0.00001142621,0.0003944075],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.368845,"threshold_uncertainty_score":0.429899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01181640871950965,"score_gpt":0.2546175475482703,"score_spread":0.2428011388287607,"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."}}