{"id":"W1546338010","doi":"10.1007/11527695_24","title":"UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":166,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Implementation; Computer science; Algorithm; Parallel computing; Theoretical computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004724798,0.0003464074,0.0003215495,0.0002454823,0.000320788,0.0002475106,0.0004106167,0.0001165346,0.000006384817],"category_scores_gemma":[0.00001020171,0.0003228328,0.00004552787,0.00006690874,0.0002967887,0.001249445,0.0003849949,0.0001150886,0.000001725599],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001603813,"about_ca_system_score_gemma":0.00008295607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001940854,"about_ca_topic_score_gemma":0.00008391758,"domain_scores_codex":[0.9976743,0.0000168566,0.0003907226,0.001182415,0.0003511069,0.000384589],"domain_scores_gemma":[0.9988277,0.0002206998,0.0002299711,0.0005272139,0.00006170839,0.0001327221],"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.000009222162,0.00001165922,0.00002283079,0.00004555249,0.000006778222,0.000002011719,0.001453295,0.001032125,0.0007969646,0.02331911,0.000009555117,0.9732909],"study_design_scores_gemma":[0.004143785,0.002757534,0.0007719402,0.0004305843,0.00005499163,0.0001790084,0.00004524825,0.7399589,0.02595238,0.1013194,0.1216856,0.002700563],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003537083,0.0007994663,0.9966104,0.0003174065,0.0004530851,0.001291828,0.0001082754,0.00004688486,0.00001896766],"genre_scores_gemma":[0.007979426,0.0001054434,0.9906317,0.0004957615,0.0004202444,0.0001288569,0.0001287998,0.00002546761,0.00008432128],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9705904,"threshold_uncertainty_score":0.9999224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02769226752492446,"score_gpt":0.3104371693902008,"score_spread":0.2827449018652763,"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."}}