{"id":"W2028739735","doi":"10.4028/www.scientific.net/amr.490-495.1511","title":"The Improvement of Pseudo-Boolean Satisfiability Algorithm for FPGA Routing","year":2012,"lang":"en","type":"article","venue":"Advanced materials research","topic":"VLSI and FPGA Design Techniques","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"La Cité Collégiale","funders":"","keywords":"Routing (electronic design automation); Boolean satisfiability problem; Computer science; Algorithm; Field-programmable gate array; Satisfiability; Embedded 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.0006943661,0.0007155086,0.000439883,0.000888575,0.0004696849,0.0008359493,0.001237527,0.0006022493,0.004472484],"category_scores_gemma":[0.001905777,0.0003525477,0.001057819,0.0009481542,0.0004598934,0.001824789,0.0005494443,0.0009483438,0.0007145498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006264891,"about_ca_system_score_gemma":0.001289819,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002225068,"about_ca_topic_score_gemma":0.002605126,"domain_scores_codex":[0.9991546,0.0002600691,0.00007773151,0.0001405067,0.0003066494,0.00006032287],"domain_scores_gemma":[0.999243,0.0002709153,0.00005693166,0.0001285035,0.0002846659,0.00001597889],"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.0002030771,0.0001366316,0.001388642,0.000472437,0.000106654,0.0002805557,0.0001538967,0.2056894,0.03867057,0.10167,0.007074256,0.6441538],"study_design_scores_gemma":[0.00007623479,0.0001742747,0.0002696708,0.00003189027,0.00004623442,0.0003271308,0.00003924149,0.9500505,0.01831242,0.02004442,0.01059976,0.00002830051],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006825089,0.0001211776,0.989872,0.0001252286,0.00004499466,0.00005577377,0.00004130124,0.0007309358,0.00218352],"genre_scores_gemma":[0.1283688,0.0002951161,0.8679934,0.0001353198,0.00003912553,0.0001362855,0.0003236347,0.0001658882,0.002542342],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004472484,"threshold_uncertainty_score":0.01496196,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03568103232071959,"score_gpt":0.3483881086767109,"score_spread":0.3127070763559913,"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."}}