{"id":"W1966863253","doi":"10.5555/2561828.2561875","title":"FPGA acceleration of enhanced boolean constraint propagation for SAT solvers","year":2013,"lang":"en","type":"article","venue":"International Conference on Computer Aided Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Field-programmable gate array; Hardware acceleration; Parallel computing; Gate array; Boolean satisfiability problem; Embedded system; Multi-core processor; Software; Computer hardware; Computer architecture; Theoretical computer science; Operating system","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":[],"consensus_categories":[],"category_scores_codex":[0.0005410842,0.0001912176,0.0002039763,0.0002250284,0.00007961624,0.0003165775,0.001042094,0.00009053105,0.0001031692],"category_scores_gemma":[0.0001197634,0.0001840542,0.000087247,0.000144335,0.00008983424,0.001139952,0.0000969067,0.0001228799,0.00009089502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001144888,"about_ca_system_score_gemma":0.0001646391,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001455297,"about_ca_topic_score_gemma":8.954105e-7,"domain_scores_codex":[0.9981892,0.0001601887,0.0005297954,0.0004600764,0.0004466386,0.0002140866],"domain_scores_gemma":[0.9978073,0.0002533026,0.0003740205,0.0004007241,0.001091735,0.00007296151],"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.0000584376,0.0001130553,0.00001018796,0.00002036873,0.00005114616,5.419624e-7,0.0005316244,0.003616123,0.07419118,0.6265535,0.001053804,0.2938001],"study_design_scores_gemma":[0.0004950565,0.0003981775,0.0005430906,0.00006215112,0.000003669365,0.000003576433,0.00002183874,0.7574697,0.2146195,0.02613938,0.00007438508,0.0001694709],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004244561,0.000002291723,0.9906887,0.0008266955,0.001161088,0.001103684,0.000006506518,0.0001227216,0.001843785],"genre_scores_gemma":[0.5118195,0.000003164769,0.4876738,0.0002062883,0.00008056228,0.0001407115,0.00001711126,0.000006539419,0.0000523432],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7538536,"threshold_uncertainty_score":0.750551,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1195568341220737,"score_gpt":0.3282179620677078,"score_spread":0.2086611279456341,"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."}}