{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004474366,0.002144305,0.001039729,0.002432765,0.00140245,0.002150298,0.005378287,0.001394207,0.05735945],"category_scores_gemma":[0.01368177,0.001767752,0.001825895,0.00303767,0.001000181,0.004285318,0.002188631,0.00320992,0.01832048],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001811113,"about_ca_system_score_gemma":0.002465397,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007933493,"about_ca_topic_score_gemma":0.01074534,"domain_scores_codex":[0.9944734,0.002297662,0.0005210401,0.0007613308,0.001452372,0.000494259],"domain_scores_gemma":[0.9890205,0.006438877,0.000281297,0.002259444,0.001698105,0.0003017318],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.004696257,0.002723221,0.005144092,0.002581728,0.0003519918,0.0002691685,0.0009283734,0.0556675,0.01915603,0.04319003,0.4624181,0.4028735],"study_design_scores_gemma":[0.002806264,0.0007878432,0.002522038,0.0003388351,0.0002435597,0.000323697,0.0003935849,0.6358534,0.07723314,0.03456731,0.2447357,0.0001945503],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02175278,0.0004483542,0.4628132,0.0006076921,0.0005038567,0.0009259899,0.01390001,0.4561783,0.0428698],"genre_scores_gemma":[0.1392366,0.0003664998,0.7588736,0.0007114378,0.00009633582,0.002461487,0.03174194,0.05185152,0.01466065],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.05735945,"threshold_uncertainty_score":0.1918864,"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."}}