{"id":"W2171033649","doi":"10.1007/978-3-540-30134-9_94","title":"Stochastic Local Search for Incremental SAT and Incremental MAX-SAT","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Regina","funders":"","keywords":"Boolean satisfiability problem; Maximum satisfiability problem; Satisfiability; Conjunctive normal form; Set (abstract data type); Local search (optimization); True quantified Boolean formula; Mathematics; Computer science; Algorithm; Boolean function; Combinatorics; Discrete mathematics; 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.001539829,0.0008737585,0.00157875,0.0009581353,0.0006404677,0.001126364,0.002789372,0.001054702,0.008040125],"category_scores_gemma":[0.006129827,0.0007620161,0.001339188,0.001918346,0.001147197,0.002361656,0.002204252,0.00253448,0.001186904],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00150425,"about_ca_system_score_gemma":0.001221253,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002012476,"about_ca_topic_score_gemma":0.005751686,"domain_scores_codex":[0.9988074,0.0004964136,0.00005563315,0.0001861681,0.0003530276,0.0001013305],"domain_scores_gemma":[0.9973556,0.001924385,0.000113814,0.0003104234,0.0002140762,0.00008176512],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002731412,0.0001778333,0.000474469,0.0004287458,0.0001037117,0.000102678,0.000135618,0.463155,0.002699321,0.3230115,0.0153824,0.1940555],"study_design_scores_gemma":[0.00003266505,0.00003823807,0.0001123435,0.00001452791,0.0000223294,0.00003258087,0.00001046923,0.8686293,0.0006343361,0.127857,0.00260514,0.00001090565],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009960973,0.001035676,0.9767016,0.0003040442,0.00009583165,0.00007908717,0.0001632722,0.0009391148,0.0107203],"genre_scores_gemma":[0.3583432,0.0009555363,0.6201148,0.0003094627,0.0002729996,0.0006067375,0.0009733994,0.0007389585,0.01768491],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008040125,"threshold_uncertainty_score":0.02689689,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0174429647669182,"score_gpt":0.2524938784654792,"score_spread":0.235050913698561,"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."}}