{"id":"W2917622917","doi":"10.1145/3313880.3313889","title":"The SAT+CAS paradigm and the Williamson conjecture","year":2019,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University; University of Waterloo","funders":"","keywords":"Conjecture; Preprint; Construct (python library); Symbolic computation; Set (abstract data type); Order (exchange); Satisfiability; Computer science; Computation; Mathematics; Discrete mathematics; Algebra over a field; Combinatorics; Pure mathematics; Algorithm; 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.001587545,0.000635026,0.0007060764,0.001336164,0.00195061,0.003129311,0.001546147,0.001538081,0.009659884],"category_scores_gemma":[0.005007837,0.0004424006,0.0009334036,0.001619407,0.004674462,0.008679124,0.002252961,0.003828057,0.001352935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001696565,"about_ca_system_score_gemma":0.001516062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002079206,"about_ca_topic_score_gemma":0.003094465,"domain_scores_codex":[0.9982945,0.0005399971,0.00006900871,0.0004312271,0.0004202443,0.0002449962],"domain_scores_gemma":[0.9958301,0.002656521,0.0002904077,0.0007664544,0.0002880123,0.0001685261],"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.00002707492,0.00001207042,0.0001521158,0.00002445518,0.000003198795,0.00002598654,0.00005303808,0.001430467,0.0002170699,0.9914559,0.001498337,0.005100273],"study_design_scores_gemma":[0.000007847335,0.00001112373,0.00006400957,0.00001121991,0.00000319594,0.00003934358,0.0000386434,0.01060672,0.0003423888,0.984721,0.004148655,0.000005771094],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1587549,0.002181535,0.6139933,0.01535452,0.0008441018,0.0001476661,0.001011414,0.0007222953,0.2069903],"genre_scores_gemma":[0.8163086,0.001428051,0.150697,0.002707533,0.0009786966,0.0002832039,0.0008523056,0.0001827037,0.02656201],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009659884,"threshold_uncertainty_score":0.03231555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009385561501334055,"score_gpt":0.2227611122381482,"score_spread":0.2133755507368141,"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."}}