{"id":"W1975949393","doi":"10.5555/2840819.2840853","title":"SAT Solving using FPGA-based Heterogeneous Computing","year":2015,"lang":"en","type":"article","venue":"International Conference on Computer Aided Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Field-programmable gate array; Computer science; Boolean satisfiability problem; Software; Throughput; Parallel computing; Solver; Computation; Symmetric multiprocessor system; Computer architecture; Reconfigurable computing; Gate array; Embedded system; Theoretical computer science; Algorithm; Operating system; 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.0002405474,0.0004566002,0.0003577367,0.0004408146,0.0005390579,0.0008422718,0.001050909,0.0003340046,0.004418611],"category_scores_gemma":[0.0006330419,0.0002006713,0.0004204822,0.0007344017,0.0003666806,0.0009151428,0.0006251578,0.0004649216,0.0005626836],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000592656,"about_ca_system_score_gemma":0.0005534606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002346443,"about_ca_topic_score_gemma":0.004300668,"domain_scores_codex":[0.9996309,0.00008323062,0.00002061445,0.00008618851,0.0001045951,0.00007437003],"domain_scores_gemma":[0.9997593,0.00007764398,0.00002286585,0.00007709568,0.00004435706,0.0000188054],"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.0006507221,0.000225118,0.002612675,0.0002413291,0.0001563941,0.0008251792,0.0001272898,0.4243228,0.06338926,0.08592878,0.006923394,0.4145971],"study_design_scores_gemma":[0.00008137296,0.0002247276,0.000489894,0.00002520817,0.00005124884,0.000184131,0.0000537964,0.9411951,0.03055957,0.01802114,0.00909136,0.00002258476],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09982711,0.0007487554,0.8706175,0.0002760564,0.0001455383,0.0001067009,0.0001063349,0.002070911,0.02610105],"genre_scores_gemma":[0.7401076,0.0002424912,0.2561203,0.0001269586,0.00002777256,0.00006729122,0.0001908557,0.00006837659,0.003048337],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004418611,"threshold_uncertainty_score":0.01478171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2899101177026795,"score_gpt":0.3731851460636593,"score_spread":0.08327502836097977,"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."}}