{"id":"W31173899","doi":"10.1016/j.bbmt.2019.05.035","title":"Propositional Satisfiability: Algorithms and Applications","year":2008,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Thomas Jefferson University","keywords":"Satisfiability; Algorithm; Boolean satisfiability problem; Computer science; Representation (politics); Propositional formula; Bounded function; Conjunctive normal form; Propositional calculus; Theoretical computer science; Propositional variable; Mathematics; Discrete mathematics; Programming language; Description logic; Intermediate logic","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":[],"consensus_categories":[],"category_scores_codex":[0.0001644142,0.00004430646,0.0000453829,0.0000316285,0.0001561431,0.0000234735,0.0001921177,0.00002360633,0.00001417999],"category_scores_gemma":[0.00001529445,0.00003908584,0.0000114708,0.0001669832,0.00009497182,0.0003243992,0.00007633091,0.00004309716,0.0000351347],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001614856,"about_ca_system_score_gemma":0.00003138537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007903463,"about_ca_topic_score_gemma":3.899425e-7,"domain_scores_codex":[0.999473,0.00003115283,0.00009854096,0.0001938869,0.0001240154,0.00007944798],"domain_scores_gemma":[0.9995615,0.00003353605,0.00002321373,0.0002855991,0.0000512271,0.00004492732],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[4.534378e-7,0.00002795715,0.001126195,0.000004220303,0.000002115705,4.97905e-7,0.0001016623,0.0000042713,0.0002297698,0.8697269,0.0001375239,0.1286384],"study_design_scores_gemma":[0.0005732225,0.0001996732,0.3408868,0.000008240928,0.000007556972,0.0009594574,0.00004111994,0.3825898,0.01703585,0.2011559,0.05591098,0.000631417],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001871835,0.00003123238,0.9898576,0.0003316007,0.00003403851,0.0001954585,9.802147e-7,0.0001329842,0.007544328],"genre_scores_gemma":[0.04768576,0.0000136343,0.9517775,0.0001598114,0.00003614659,0.00009599342,0.000001528454,0.000002012913,0.0002276692],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6685711,"threshold_uncertainty_score":0.1593874,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02848831540534338,"score_gpt":0.2799245700321646,"score_spread":0.2514362546268213,"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."}}