{"id":"W7115887828","doi":"10.5287/ora-pzpyzzjrv","title":"Promise constraint satisfaction problems","year":2022,"lang":"en","type":"dissertation","venue":"Oxford University Research Archive (ORA) (University of Oxford)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Unary operation; Constraint satisfaction problem; Constraint (computer-aided design); Constraint satisfaction; Algebraic number; Cover (algebra); Boolean satisfiability problem; Benchmark (surveying)","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.0036404,0.001505861,0.001976619,0.00168307,0.002602639,0.006547004,0.00389238,0.003097326,0.03064253],"category_scores_gemma":[0.01593139,0.0008981559,0.00358868,0.005179688,0.002981422,0.01017811,0.004991812,0.006758459,0.005086085],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003307447,"about_ca_system_score_gemma":0.002940946,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002951278,"about_ca_topic_score_gemma":0.003559974,"domain_scores_codex":[0.9918937,0.002185561,0.0007288412,0.001906429,0.002416626,0.0008688172],"domain_scores_gemma":[0.9899995,0.006376181,0.0007617234,0.001168282,0.001209681,0.000484736],"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.00009956761,0.0001086876,0.0003902976,0.0005978608,0.00009147649,0.0002484166,0.0002755339,0.01425381,0.0007785793,0.9012686,0.03539362,0.04649352],"study_design_scores_gemma":[0.00008025692,0.00004018726,0.0001965338,0.0001110606,0.00004214136,0.0004449768,0.0002324176,0.04205262,0.001017914,0.8768772,0.0788605,0.0000442334],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02260255,0.004825897,0.8061313,0.01835786,0.001097037,0.0008226137,0.01213023,0.001711073,0.1323214],"genre_scores_gemma":[0.3857738,0.008310023,0.5000679,0.007443886,0.002305443,0.001624983,0.02478569,0.0009718204,0.0687165],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03064253,"threshold_uncertainty_score":0.1025095,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02374871485499163,"score_gpt":0.2578470424777871,"score_spread":0.2340983276227954,"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."}}