{"id":"W3159778435","doi":"10.1016/j.ic.2022.104954","title":"Beyond PCSP(1-in-3,NAE)","year":2022,"lang":"en","type":"preprint","venue":"Information and Computation","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"H2020 European Research Council; Horizon 2020; European Research Council; Natural Sciences and Engineering Research Council of Canada; European Commission; Royal Society","keywords":"Constraint satisfaction problem; Tuple; Backtracking; Constraint satisfaction; Template; Combinatorics; Mathematics; Constraint (computer-aided design); Computer science; Boolean function; Relaxation (psychology); Discrete mathematics; Theoretical computer science; Algorithm; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001686723,0.0007460073,0.000976905,0.001206991,0.002819879,0.00589247,0.00229561,0.002489448,0.04966871],"category_scores_gemma":[0.008592291,0.000447675,0.001243511,0.001610621,0.002160475,0.008171732,0.00461252,0.00516073,0.02620561],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001919659,"about_ca_system_score_gemma":0.00270168,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00259009,"about_ca_topic_score_gemma":0.004472501,"domain_scores_codex":[0.9984229,0.0003862399,0.00007509198,0.0004603905,0.0003804557,0.0002749135],"domain_scores_gemma":[0.9961419,0.0008617776,0.0001710389,0.001940552,0.0005908443,0.0002939935],"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.0001765183,0.00006921154,0.0003406298,0.0001744422,0.00001729607,0.00007140186,0.0001087061,0.001987123,0.0009532113,0.8663985,0.08253544,0.04716765],"study_design_scores_gemma":[0.00001610235,0.000009584831,0.0001000581,0.00003395646,0.000008049115,0.00006823821,0.00002579748,0.006132917,0.00109448,0.9407324,0.0517653,0.00001317289],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04059719,0.002659062,0.4424253,0.02320166,0.006121133,0.0003891756,0.009751389,0.01313569,0.4617195],"genre_scores_gemma":[0.4951656,0.001841822,0.2821986,0.007312666,0.002077952,0.0005822647,0.007900704,0.006648912,0.1962714],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04966871,"threshold_uncertainty_score":0.1661584,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.019636919936389,"score_gpt":0.3090241625789866,"score_spread":0.2893872426425976,"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."}}