{"id":"W1995010312","doi":"10.1142/9781860947322_0033","title":"FASTER SOLUTION TO THE MAXIMUM QUARTET CONSISTENCY PROBLEM WITH CONSTRAINT PROGRAMMING","year":2005,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Constraint programming; Consistency (knowledge bases); Constraint (computer-aided design); Local consistency; Computer science; Constraint satisfaction; Constraint logic programming; Mathematical optimization; Algorithm; Mathematics; Artificial intelligence; Stochastic programming","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.003710805,0.001616209,0.002379379,0.001006053,0.000976556,0.002321157,0.002404224,0.001693173,0.01179507],"category_scores_gemma":[0.01433034,0.0009124333,0.002083995,0.002508728,0.0008493278,0.003735211,0.001884168,0.004769502,0.001321248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001055987,"about_ca_system_score_gemma":0.002383793,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004949094,"about_ca_topic_score_gemma":0.006365741,"domain_scores_codex":[0.9975618,0.001014338,0.0001250423,0.000474827,0.0005552074,0.000268773],"domain_scores_gemma":[0.9886343,0.009436348,0.0004331364,0.0006272789,0.0007035746,0.0001653462],"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.0004189074,0.0005225895,0.001691429,0.001077235,0.000212312,0.0002501761,0.0004193986,0.5538056,0.003765095,0.07970807,0.01784313,0.340286],"study_design_scores_gemma":[0.0001050498,0.00008087448,0.0002103771,0.00003387225,0.00002601642,0.0000692121,0.0001062444,0.9358283,0.001113397,0.05913145,0.00327864,0.00001649997],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01911136,0.0004028658,0.9737507,0.0009606266,0.00009453263,0.0002146412,0.0002965001,0.0009103812,0.004258424],"genre_scores_gemma":[0.09094508,0.0002432869,0.9047412,0.0003342437,0.000107519,0.0003223993,0.0008733294,0.0003761436,0.002056697],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01179507,"threshold_uncertainty_score":0.03945845,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01222761297109648,"score_gpt":0.2221061175156424,"score_spread":0.2098785045445459,"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."}}