{"id":"W7001608982","doi":"","title":"Learning SAT Encodings for Constraint Satisfaction Problems","year":2023,"lang":"en","type":"dissertation","venue":"White Rose eTheses Online (University of Leeds, The University of Sheffield, University of York)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Constraint (computer-aided design); Frame (networking); Feature (linguistics); Nucleofection; Set (abstract data type); Selection (genetic algorithm)","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.0019855,0.001634561,0.0009059695,0.001758416,0.0007913151,0.002834862,0.002278107,0.001737288,0.01846667],"category_scores_gemma":[0.01791665,0.0009698361,0.002235915,0.003018509,0.001420467,0.003641522,0.002069334,0.004569312,0.00275251],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00252985,"about_ca_system_score_gemma":0.002115912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004094339,"about_ca_topic_score_gemma":0.01035508,"domain_scores_codex":[0.9972675,0.001191899,0.0001681365,0.000471106,0.0006415406,0.0002599882],"domain_scores_gemma":[0.9911007,0.007120146,0.0003241856,0.0006489579,0.0006542218,0.0001517482],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003165807,0.0004108708,0.00167318,0.0008889727,0.0001398151,0.0002664561,0.0003160285,0.4617434,0.001670494,0.2172193,0.04078272,0.2745723],"study_design_scores_gemma":[0.0001074648,0.0000711383,0.000229998,0.0001428064,0.0000324779,0.00008740796,0.0001275582,0.7312897,0.001310699,0.2536835,0.01289571,0.00002150354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02443904,0.00192289,0.9311976,0.003738942,0.000367824,0.0005413834,0.005250677,0.004023692,0.02851801],"genre_scores_gemma":[0.2840774,0.002491008,0.6791746,0.001457523,0.0005140153,0.001079674,0.01741111,0.0008987596,0.01289592],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01846667,"threshold_uncertainty_score":0.06177717,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02016510018032959,"score_gpt":0.2137699257904179,"score_spread":0.1936048256100883,"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."}}