{"id":"W2041308874","doi":"10.1109/ictai.2012.19","title":"SAT with Global Constraints","year":2012,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Solver; Usability; Computer science; Constraint satisfaction problem; Boolean satisfiability problem; Representation (politics); Constraint (computer-aided design); Theoretical computer science; Constraint satisfaction; Constraint programming; Problem solver; Programming language; Mathematical optimization; Computational science; Human–computer interaction; Artificial intelligence; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001966056,0.001392887,0.001189622,0.001501716,0.0008940247,0.002985732,0.00351541,0.001321615,0.01507322],"category_scores_gemma":[0.008052883,0.000955381,0.002302956,0.003841869,0.002218435,0.005165138,0.005608981,0.004987217,0.002928101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001091879,"about_ca_system_score_gemma":0.002118108,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004797846,"about_ca_topic_score_gemma":0.007567971,"domain_scores_codex":[0.9958671,0.001107913,0.000286827,0.001032264,0.001260964,0.0004448571],"domain_scores_gemma":[0.9962718,0.001310625,0.0001887282,0.001606051,0.0005039616,0.0001188897],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001733009,0.0001398841,0.0009874976,0.0008144099,0.0002156956,0.000408047,0.0002803963,0.1280851,0.005133752,0.5765699,0.01556891,0.2716231],"study_design_scores_gemma":[0.00008190117,0.000120673,0.000587914,0.0001819285,0.000197675,0.0003477075,0.00009624287,0.3990664,0.008768,0.4969851,0.09351013,0.0000562459],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004202322,0.0003644181,0.97542,0.0003231048,0.0001164543,0.0001363661,0.0006903312,0.002581147,0.01616591],"genre_scores_gemma":[0.1485382,0.000742031,0.8384904,0.0005699542,0.0002059373,0.000416524,0.003005211,0.00107217,0.006959617],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01507322,"threshold_uncertainty_score":0.05042493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009343176268817418,"score_gpt":0.2267920239796143,"score_spread":0.2174488477107969,"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."}}