{"id":"W2811466089","doi":"10.1007/978-3-319-94144-8_8","title":"Centrality-Based Improvements to CDCL Heuristics","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Heuristics; Solver; Computer science; Exploit; Centrality; Boolean satisfiability problem; Theoretical computer science; Data structure; Algorithm; Programming language; Mathematics; Combinatorics","routes":{"ca_aff":true,"ca_fund":true,"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.0005251511,0.0003997848,0.0003245268,0.0007007049,0.0002286024,0.0005590783,0.001896863,0.0002102059,0.0001617715],"category_scores_gemma":[0.0001193554,0.000395935,0.00008090983,0.0006629903,0.0003923788,0.0003070681,0.0006597711,0.0003821501,0.0001685426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003552191,"about_ca_system_score_gemma":0.0007874111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001431104,"about_ca_topic_score_gemma":0.00008353725,"domain_scores_codex":[0.9967989,0.00002562945,0.0004583202,0.001273108,0.0008733897,0.0005705932],"domain_scores_gemma":[0.9977856,0.0001683236,0.0002045012,0.001139898,0.0004234577,0.0002782718],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007710437,0.00003193358,0.0001382004,0.00003068234,0.00000867433,0.00003214634,0.0004657833,0.05421798,0.0001209086,0.009244773,0.0002092853,0.9354919],"study_design_scores_gemma":[0.0004348222,0.0003091677,0.0004710252,0.0002746362,0.000009032558,0.00001511267,1.372431e-7,0.9392374,0.002142087,0.04299827,0.01320513,0.0009031913],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004198337,0.00001980482,0.9934809,0.001419607,0.002515062,0.0004378341,0.00001198928,0.0001784791,0.00189436],"genre_scores_gemma":[0.04857628,0.000007660927,0.9420374,0.008364424,0.0004563136,0.000008454385,0.00001280864,0.00003264787,0.0005039799],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9345887,"threshold_uncertainty_score":0.9998493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01511907516038146,"score_gpt":0.2498447418800109,"score_spread":0.2347256667196294,"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."}}