{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005353661,0.0001385769,0.0001524931,0.0005892758,0.0001306691,0.0003459505,0.0004785603,0.00008295335,0.00002741197],"category_scores_gemma":[0.00003521957,0.0001544374,0.00003959105,0.0003984686,0.00003339781,0.001516104,0.001347553,0.0005164007,0.00003131723],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000108502,"about_ca_system_score_gemma":0.0001201531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002350803,"about_ca_topic_score_gemma":0.000004106937,"domain_scores_codex":[0.998673,0.0001146805,0.0004011691,0.0002124061,0.0004144214,0.0001842798],"domain_scores_gemma":[0.9992657,0.00009513508,0.0002093932,0.0002714002,0.00009786046,0.00006054113],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001832813,0.00002897477,0.0004833589,0.0001598403,0.00001126709,0.000005505191,0.005177372,0.182746,0.000003478532,0.295459,0.0003974198,0.5155095],"study_design_scores_gemma":[0.0003707981,0.00004126401,0.005331974,0.00002065697,0.00000154338,0.000008093246,0.0002052346,0.6136641,0.00001395203,0.3758167,0.004318576,0.0002070848],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02576784,0.0001531052,0.9600124,0.0007384482,0.0005765232,0.000464731,0.00001153162,0.000176873,0.0120986],"genre_scores_gemma":[0.9586927,0.0001256758,0.0397212,0.0008786339,0.00003205659,0.0001577582,0.0002959433,0.000009166708,0.00008686525],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9329249,"threshold_uncertainty_score":0.6297774,"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."}}