{"id":"W2145573358","doi":"10.1145/2480362.2480385","title":"Solving equations on words through boolean satisfiability","year":2013,"lang":"en","type":"article","venue":"","topic":"Web Application Security Vulnerabilities","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Boolean satisfiability problem; Solver; Maximum satisfiability problem; Range (aeronautics); Computer science; Word (group theory); Theoretical computer science; Satisfiability; Reduction (mathematics); Resolution (logic); System of linear equations; True quantified Boolean formula; Computational complexity theory; Mathematics; Algorithm; Boolean function; Artificial intelligence; Programming language","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.001903526,0.00103541,0.0009226543,0.00124535,0.0009278295,0.002397282,0.001809186,0.001471773,0.01150197],"category_scores_gemma":[0.01309207,0.0008520911,0.002671724,0.001976953,0.002291786,0.005540451,0.003182449,0.003693969,0.001603545],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001131819,"about_ca_system_score_gemma":0.001837742,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003934434,"about_ca_topic_score_gemma":0.006718241,"domain_scores_codex":[0.9975006,0.0008095005,0.0002634724,0.0004314698,0.0006898978,0.0003049549],"domain_scores_gemma":[0.9936839,0.005212167,0.0002689663,0.0003691513,0.0003979822,0.00006771231],"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.0001737798,0.0002465702,0.001674087,0.001010264,0.0001700562,0.0006726406,0.0009441781,0.1259526,0.006964712,0.6802254,0.01420428,0.1677614],"study_design_scores_gemma":[0.0001378823,0.00004803828,0.0002218331,0.0001124292,0.00008470213,0.0001734587,0.0002995155,0.3109665,0.009276472,0.6596471,0.01898967,0.00004243133],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03334525,0.0003091838,0.9466384,0.001775924,0.0001553294,0.0003307945,0.0008511745,0.001489618,0.01510422],"genre_scores_gemma":[0.1915627,0.0007774589,0.7950217,0.0007460119,0.0001840879,0.0004690209,0.002001336,0.000526036,0.008711721],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01150197,"threshold_uncertainty_score":0.0384779,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02663067478690757,"score_gpt":0.2670927742476025,"score_spread":0.240462099460695,"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."}}