{"id":"W128869332","doi":"10.3233/978-1-58603-929-5-131","title":"Conflict-Driven Clause Learning SAT Solvers","year":2009,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":321,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canadian Nautical Research Society","funders":"","keywords":"Computer science; Mathematics education; Artificial intelligence; Programming language; Political science; Psychology","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0001764677,0.0003400767,0.0004536513,0.0006480361,0.0003389555,0.0003201891,0.0003062338,0.0002944483,0.0001068386],"category_scores_gemma":[0.00002365522,0.0003651464,0.0001284659,0.0002778777,0.0001975729,0.0003523426,0.00008903851,0.0005378522,0.0003107865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004327754,"about_ca_system_score_gemma":0.00003212153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009981989,"about_ca_topic_score_gemma":0.00008415599,"domain_scores_codex":[0.9983283,0.00000368206,0.0005555127,0.0006022333,0.0002220406,0.000288226],"domain_scores_gemma":[0.9991479,0.00002175472,0.0003367311,0.0002774275,0.0001899093,0.0000262833],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002159254,0.00005176149,0.0004695697,0.0001109687,0.00005556543,0.000005269907,0.0000762877,0.009502877,0.00001751235,0.2964089,0.001984104,0.6912956],"study_design_scores_gemma":[0.00003414287,0.000006919326,0.00001645389,0.0001666129,0.0002041505,7.464537e-7,0.0003840816,0.07920425,0.00001487104,0.2952611,0.6241566,0.0005501253],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002208866,0.003352832,0.6817428,0.001964795,0.0004328824,0.001010458,0.0000150284,0.000403744,0.3108566],"genre_scores_gemma":[0.5914479,0.01760923,0.01320374,0.007016138,0.01286984,0.0007769033,0.002328962,0.0005732354,0.354174],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6907455,"threshold_uncertainty_score":0.9998801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04641994048628144,"score_gpt":0.2567220153765446,"score_spread":0.2103020748902631,"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."}}