{"id":"W2037086109","doi":"10.1109/icpp.2013.20","title":"A Dynamic Moldable Job Scheduling Based Parallel SAT Solver","year":2013,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of New Brunswick","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Parallel computing; Solver; Boolean satisfiability problem; Tree (set theory); Scheduling (production processes); Job shop scheduling; Theoretical computer science; Mathematical optimization; Mathematics; Programming language; Schedule","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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.00007347957,0.0000831585,0.0000742837,0.0000788008,0.00008820584,0.0002136159,0.0002165447,0.00004184532,0.001724285],"category_scores_gemma":[0.0000152985,0.00007302788,0.0000414582,0.0001893185,0.00001997987,0.0006280998,0.00005173256,0.0000661798,0.0008656728],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003439264,"about_ca_system_score_gemma":0.00006119506,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001065194,"about_ca_topic_score_gemma":0.00005291127,"domain_scores_codex":[0.9993168,0.00001989599,0.0001332893,0.0002149397,0.0001359177,0.0001791764],"domain_scores_gemma":[0.9995146,0.00003546588,0.0000340958,0.0002687121,0.00006897005,0.00007815522],"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.000007123508,0.0001375516,0.02229526,0.00003682679,0.00004797456,0.00001038068,0.0004205858,0.6430756,0.005492042,0.09902605,0.005527704,0.223923],"study_design_scores_gemma":[0.0002443002,0.00001015163,0.01237663,0.000005290386,0.000001342891,0.000002860936,0.00001674201,0.9860354,0.00007080352,0.0009419247,0.0001877885,0.0001067682],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01007324,0.00001151147,0.9796809,0.002478749,0.0001519144,0.0001481574,2.327224e-7,0.0002622172,0.007193083],"genre_scores_gemma":[0.5039461,0.000002273416,0.494067,0.0008603927,0.000004356305,0.00001269844,0.000001847339,0.000003394427,0.001101914],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4938729,"threshold_uncertainty_score":0.9999123,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008871722527134177,"score_gpt":0.2185609409823804,"score_spread":0.2096892184552462,"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."}}