{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0135471,0.0003259836,0.0006742522,0.001182678,0.0002330613,0.0004853245,0.002700131,0.0002440753,0.000111533],"category_scores_gemma":[0.01340624,0.0002508484,0.00008746221,0.002231901,0.001866595,0.0003561061,0.001454038,0.0005266342,0.00003197358],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001914452,"about_ca_system_score_gemma":0.0008558639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009696531,"about_ca_topic_score_gemma":0.0000517256,"domain_scores_codex":[0.9940563,0.0003263913,0.00126674,0.001646924,0.002300099,0.0004035197],"domain_scores_gemma":[0.9715898,0.02495457,0.0006891335,0.001781351,0.000843094,0.0001420219],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00000638998,0.00001941027,0.001289002,0.00001401264,0.000001827992,0.000002149925,0.0003368614,0.006006017,0.0001705951,0.001508456,0.00004065268,0.9906046],"study_design_scores_gemma":[0.0001798721,0.00005222315,0.006513642,0.0002076147,0.000007638667,0.00003225206,0.000001498666,0.1011446,0.0002759063,0.8870474,0.004188777,0.0003485707],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001253547,0.000497906,0.9937086,0.000103461,0.0003607041,0.000543754,0.00002095943,0.00003831993,0.003472789],"genre_scores_gemma":[0.313305,0.000007610266,0.6844007,0.0006079041,0.0007552638,0.00002719382,0.00000227091,0.00002856982,0.0008655703],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9902561,"threshold_uncertainty_score":0.9999944,"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."}}