{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002072053,0.0005922616,0.0002665541,0.0005033418,0.0001994486,0.0005545845,0.001051853,0.0002722932,0.01068376],"category_scores_gemma":[0.000718863,0.0002864523,0.0002962241,0.0005664231,0.0001594039,0.0005896838,0.0002860482,0.0005304852,0.001331061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005273548,"about_ca_system_score_gemma":0.0006485055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002745514,"about_ca_topic_score_gemma":0.005336724,"domain_scores_codex":[0.9996523,0.00006482838,0.00002522916,0.0000583019,0.0001397908,0.0000595137],"domain_scores_gemma":[0.9996148,0.0001430895,0.00003865297,0.00007417901,0.0001092261,0.00002002255],"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.001079653,0.0003685037,0.003571536,0.0007487956,0.0001582573,0.0007032721,0.0001220694,0.1258714,0.1942658,0.02280396,0.01936018,0.6309466],"study_design_scores_gemma":[0.0002374517,0.0007715095,0.002172192,0.0000410001,0.00009552165,0.0004473916,0.00002800068,0.839711,0.1290406,0.002503926,0.02491041,0.0000408597],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1772152,0.001045713,0.7626474,0.0005002315,0.0003202302,0.0002166571,0.0005035268,0.02174992,0.03580112],"genre_scores_gemma":[0.6224104,0.0002637559,0.3703815,0.0002325084,0.00005389425,0.00009368388,0.0006909263,0.0002218207,0.005651542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01068376,"threshold_uncertainty_score":0.03574079,"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."}}