{"id":"W125925145","doi":"10.1007/978-3-319-04921-2_15","title":"Solving Equations on Words with Morphisms and Antimorphisms","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Solver; Boolean satisfiability problem; Computer science; Range (aeronautics); Morphism; Theoretical computer science; Representation (politics); Graph; System of linear equations; Satisfiability; Boolean data type; Algorithm; Applied mathematics; Discrete mathematics; Mathematics; 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.001173614,0.001103775,0.001079585,0.0008435759,0.0008123577,0.002164178,0.001540055,0.001198084,0.01120254],"category_scores_gemma":[0.005859392,0.0009279017,0.00225172,0.001416686,0.00187983,0.006697804,0.003872428,0.002931245,0.002195616],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007396903,"about_ca_system_score_gemma":0.000705039,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009837112,"about_ca_topic_score_gemma":0.001420954,"domain_scores_codex":[0.9986237,0.0004213297,0.0001710415,0.000287412,0.000353568,0.0001429667],"domain_scores_gemma":[0.9984609,0.001096636,0.00006753874,0.0001645615,0.0001724131,0.00003795415],"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.0000390135,0.00003666839,0.000511107,0.0003980566,0.00004930621,0.0001780711,0.0009587385,0.008435242,0.002696306,0.8834788,0.004892433,0.09832627],"study_design_scores_gemma":[0.00002177027,0.00001346269,0.00007306214,0.00004571087,0.00003012517,0.00009838789,0.0001350879,0.01686071,0.002237314,0.9696838,0.01078392,0.0000167908],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03400481,0.0004557433,0.9401506,0.0006841583,0.0002118823,0.00007378776,0.0001717031,0.0006456117,0.02360173],"genre_scores_gemma":[0.2630151,0.001026538,0.7035009,0.0003474842,0.0002334052,0.0001456161,0.0006111861,0.0008051386,0.03031461],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01120254,"threshold_uncertainty_score":0.03747624,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02071930250855708,"score_gpt":0.2429414942158546,"score_spread":0.2222221917072975,"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."}}