{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008919707,0.0008700709,0.0007674294,0.0007628651,0.0008996809,0.002535279,0.002711587,0.001209949,0.01633682],"category_scores_gemma":[0.004259812,0.0004018377,0.001039857,0.001264975,0.001035595,0.002622474,0.002099264,0.001939874,0.002963726],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001224593,"about_ca_system_score_gemma":0.002136035,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001955183,"about_ca_topic_score_gemma":0.003340469,"domain_scores_codex":[0.9986421,0.000317303,0.00007255961,0.000313705,0.0004176051,0.0002366638],"domain_scores_gemma":[0.9982368,0.0008915251,0.0001051529,0.0004521948,0.000247493,0.00006671846],"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.0002829179,0.0003012776,0.001577113,0.000835858,0.0001219227,0.0003582642,0.0001449237,0.1369135,0.004479975,0.5083711,0.06760158,0.2790116],"study_design_scores_gemma":[0.0001293745,0.0001628817,0.0004097573,0.0002043336,0.00005927552,0.0005884091,0.0001230224,0.2948042,0.00634729,0.4494135,0.2477208,0.00003721844],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03624674,0.003751374,0.7044065,0.003719275,0.001422317,0.0009098443,0.004373713,0.006722986,0.2384474],"genre_scores_gemma":[0.3560576,0.003429773,0.5743642,0.003349802,0.0003921439,0.000993045,0.01102298,0.001544237,0.04884617],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01633682,"threshold_uncertainty_score":0,"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."}}