{"id":"W2087891847","doi":"10.1145/2463372.2463479","title":"pEvoSAT","year":2013,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Permutation (music); Conjunctive normal form; Computer science; Pruning; Boolean satisfiability problem; Maximum satisfiability problem; Domain (mathematical analysis); Satisfiability; Encoding (memory); Representation (politics); Genetic algorithm; Theoretical computer science; Disjunctive normal form; Boolean expression; Algorithm; Boolean function; Mathematics; Artificial intelligence; Machine learning","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00001598944,0.0000207241,0.00001804772,0.00002120413,0.00002284493,0.00008004889,0.00009345411,0.000009210448,0.001940691],"category_scores_gemma":[0.000004555593,0.00001674906,0.000009426712,0.00007223195,0.000005783305,0.0003599769,0.00002516777,0.00001506616,0.001293414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004559528,"about_ca_system_score_gemma":0.000007826165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002522628,"about_ca_topic_score_gemma":0.000003657712,"domain_scores_codex":[0.9997997,0.000005059116,0.00003823811,0.00006402867,0.00004413394,0.00004885864],"domain_scores_gemma":[0.9998266,0.000008654872,0.000007531187,0.0001059833,0.00002452333,0.00002674323],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[6.302454e-8,0.000007574337,0.002590159,8.108826e-7,0.000002070142,4.003982e-7,0.00009775594,0.0001154773,0.0003941826,0.4462896,0.01944173,0.5310602],"study_design_scores_gemma":[0.0002682534,0.0000254774,0.1652486,0.000002709427,9.381517e-7,0.00002433471,0.00005103649,0.7964306,0.001681287,0.01659467,0.01945405,0.0002181057],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001239743,0.000001953971,0.9014003,0.00286332,0.00009304971,0.00003911877,1.838244e-8,0.0001423138,0.09422022],"genre_scores_gemma":[0.8165624,0.000002345573,0.1791728,0.000902332,0.00001023737,0.000005074113,2.517523e-7,0.000001017169,0.003343536],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8153226,"threshold_uncertainty_score":0.9994842,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004739752721063097,"score_gpt":0.1804057805599425,"score_spread":0.1756660278388794,"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."}}