{"id":"W2497844642","doi":"10.1007/b137280","title":"Theory and Applications of Satisfiability Testing","year":2005,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Multi-Criteria Decision Making","field":"Decision Sciences","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Satisfiability; Theoretical computer science; Boolean satisfiability problem; 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.00260946,0.001462006,0.001626073,0.003463315,0.0009426298,0.004154255,0.002677966,0.002160737,0.01107645],"category_scores_gemma":[0.01304531,0.001039388,0.001802044,0.004968305,0.004479145,0.006157364,0.002346596,0.004697884,0.001837811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00203176,"about_ca_system_score_gemma":0.001457023,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001886343,"about_ca_topic_score_gemma":0.001373963,"domain_scores_codex":[0.9971769,0.0009790789,0.0001972699,0.0003637757,0.001138352,0.0001446457],"domain_scores_gemma":[0.9914644,0.006849444,0.0002671221,0.0007196782,0.0005752452,0.0001241199],"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.00001381817,0.00002959897,0.0002423321,0.0001728223,0.00002569906,0.00007415818,0.00008223701,0.01215553,0.0003312284,0.89385,0.007044782,0.08597776],"study_design_scores_gemma":[0.00000353845,0.000006152521,0.00006153415,0.00004279363,0.000007191241,0.00008500343,0.00001450489,0.02095652,0.0001421217,0.9719221,0.006751486,0.000007062528],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004793418,0.02559765,0.8603061,0.00440338,0.0008139191,0.00009044381,0.0003281438,0.0003572765,0.1033096],"genre_scores_gemma":[0.2852671,0.04338788,0.6209358,0.00231823,0.003648524,0.0005915127,0.001106125,0.0003524459,0.04239243],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01107645,"threshold_uncertainty_score":0.03705442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08053416493871743,"score_gpt":0.3860425388432996,"score_spread":0.3055083739045822,"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."}}