{"id":"W2240863283","doi":"","title":"New Encoding for Translating Pseudo-Boolean Constraints into SAT.","year":2013,"lang":"en","type":"article","venue":"Symposium on Abstraction, Reformulation and Approximation","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Constraint (computer-aided design); Conjunctive normal form; Constraint satisfaction problem; Local consistency; Computer science; Benchmark (surveying); Boolean data type; Propositional calculus; Propositional formula; Set (abstract data type); Transformation (genetics); Boolean function; Propositional variable; Theoretical computer science; Algorithm; Mathematics; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009989329,0.001201327,0.0006370039,0.001659389,0.0006968789,0.002156643,0.0020453,0.001212677,0.0158268],"category_scores_gemma":[0.007254559,0.0007276554,0.001810439,0.002401994,0.001022751,0.003688068,0.002018656,0.003026889,0.003934622],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001578767,"about_ca_system_score_gemma":0.002347128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003981939,"about_ca_topic_score_gemma":0.00972398,"domain_scores_codex":[0.998251,0.0003792192,0.0002185564,0.0002529879,0.0007170974,0.0001810224],"domain_scores_gemma":[0.9974825,0.001172161,0.0001683172,0.0005403566,0.0005653944,0.0000712136],"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.0002464795,0.0003240915,0.0007079037,0.0009348874,0.00007119938,0.0006011703,0.0005263296,0.05195168,0.009577032,0.4688124,0.0571624,0.4090844],"study_design_scores_gemma":[0.0002024593,0.0001421731,0.0003617525,0.0003463949,0.000106619,0.0007465679,0.0002448601,0.4801045,0.02473948,0.314988,0.1779079,0.0001093835],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00317806,0.0002229208,0.9748186,0.0006642618,0.0003853489,0.0003091946,0.002345433,0.00619365,0.01188256],"genre_scores_gemma":[0.05631838,0.0003675768,0.9302328,0.0004918491,0.0001229255,0.0005267811,0.004829142,0.001198418,0.005912191],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0158268,"threshold_uncertainty_score":0.05294591,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01249991234013407,"score_gpt":0.2465829138286467,"score_spread":0.2340830014885127,"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."}}