{"id":"W4248609189","doi":"10.1109/iccad.2015.7372575","title":"SAT solving using FPGA-based heterogeneous computing","year":2015,"lang":"en","type":"article","venue":"2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Field-programmable gate array; Boolean satisfiability problem; Software; Throughput; Parallel computing; Computation; Solver; Computer architecture; Symmetric multiprocessor system; Gate array; Reconfigurable computing; Embedded system; Theoretical computer science; Algorithm; Programming language; 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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00230308,0.0006119495,0.0005483087,0.0006280695,0.0002848052,0.001038621,0.004610667,0.0002599467,0.00004735807],"category_scores_gemma":[0.0004965485,0.0006360684,0.0002010261,0.0005220209,0.0001604802,0.001079586,0.000746284,0.0005678122,0.000411175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007286185,"about_ca_system_score_gemma":0.0008052981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008107886,"about_ca_topic_score_gemma":0.000004142384,"domain_scores_codex":[0.9945372,0.0008715671,0.00100456,0.00125547,0.001555647,0.0007756004],"domain_scores_gemma":[0.9951191,0.0005568087,0.0007124628,0.001683218,0.001438215,0.0004901798],"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.0003460496,0.0006587324,0.0003172141,0.00005588973,0.0002513225,0.0002405981,0.001513239,0.8157917,0.01416457,0.07345049,0.006318994,0.08689125],"study_design_scores_gemma":[0.001088525,0.0004848591,0.00009305371,0.0002262084,0.00001499956,0.0001405236,0.00002251921,0.9643316,0.02461263,0.00772399,0.0005978358,0.0006632554],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01471713,0.00004734662,0.9757886,0.0007613099,0.006732667,0.0005236593,0.00001098983,0.0005800476,0.0008382489],"genre_scores_gemma":[0.4317117,0.000003705229,0.5668805,0.0007806465,0.0005050098,0.00001253315,0.00001627287,0.00003477378,0.00005486712],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4169946,"threshold_uncertainty_score":0.9999984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2995147217591668,"score_gpt":0.3855211801573903,"score_spread":0.08600645839822357,"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."}}