{"id":"W2045132403","doi":"10.5555/777092.777194","title":"A mixture-model for the behaviour of SLS algorithms for SAT","year":2002,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Satisfiability; Exponential function; Markov chain; Algorithm; Computer science; Process (computing); Class (philosophy); Mathematics; Theoretical computer science; Artificial intelligence; Machine learning","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.006838963,0.001839385,0.003573364,0.002999055,0.001699906,0.004775451,0.006930731,0.004577628,0.01271679],"category_scores_gemma":[0.03554231,0.001982006,0.003332386,0.003109868,0.003855191,0.01019579,0.003741142,0.006032936,0.004782629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003159551,"about_ca_system_score_gemma":0.001846119,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01023539,"about_ca_topic_score_gemma":0.008985208,"domain_scores_codex":[0.9961958,0.0013661,0.0002085267,0.000999339,0.0006742149,0.0005560258],"domain_scores_gemma":[0.9776827,0.01575716,0.00162745,0.00259099,0.00171275,0.0006288695],"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":[0.0004770766,0.0001957403,0.003543321,0.000317282,0.0002060866,0.0002099922,0.0006746272,0.4547192,0.002364992,0.5031335,0.008284322,0.02587387],"study_design_scores_gemma":[0.00003870562,0.00004882193,0.0003797976,0.00002249321,0.00003293046,0.00006299809,0.00003121411,0.889791,0.0002200106,0.1081638,0.001181369,0.00002683446],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0344878,0.001051717,0.9546716,0.00186719,0.000126118,0.0002095509,0.0006441105,0.001666612,0.005275181],"genre_scores_gemma":[0.7710171,0.002262766,0.1818115,0.001227526,0.0006235848,0.001671096,0.002382512,0.001225936,0.03777792],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01271679,"threshold_uncertainty_score":0.04254192,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05030984904877013,"score_gpt":0.2769079869037741,"score_spread":0.2265981378550039,"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."}}