{"id":"https://openalex.org/W7084095444","doi":"https://doi.org/10.1109/rtcsa66114.2025.00035","title":"Poster: A Comparative Analysis of Machine Learning Models for SAT Runtime Prediction","display_name":"Poster: A Comparative Analysis of Machine Learning Models for SAT Runtime Prediction","publication_year":2025,"publication_date":"2025-08-20","ids":{"openalex":"https://openalex.org/W7084095444","doi":"https://doi.org/10.1109/rtcsa66114.2025.00035"},"language":"en","primary_location":{"id":"doi:10.1109/rtcsa66114.2025.00035","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtcsa66114.2025.00035","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 31st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Tomohisa Kawakami","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]},{"id":"https://openalex.org/I36194607","display_name":"Duke Energy (United States)","ror":"https://ror.org/030r69d22","country_code":"US","type":"company","lineage":["https://openalex.org/I36194607"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tomohisa Kawakami","raw_affiliation_strings":["Duke University,Electrical and Computer Engineering,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Duke University,Electrical and Computer Engineering,USA","institution_ids":["https://openalex.org/I36194607","https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tomoyasu Shimada","orcid":null},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tomoyasu Shimada","raw_affiliation_strings":["Graduate School of Science and Engineering, Ritsumeikan University,Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Science and Engineering, Ritsumeikan University,Japan","institution_ids":["https://openalex.org/I135768898"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xiangbo Kong","orcid":null},"institutions":[{"id":"https://openalex.org/I63216439","display_name":"Toyama Prefectural University","ror":"https://ror.org/03xgh2v50","country_code":"JP","type":"education","lineage":["https://openalex.org/I63216439"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Xiangbo Kong","raw_affiliation_strings":["Toyama Prefectural University,Department of Intelligent Robot Engineering,Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyama Prefectural University,Department of Intelligent Robot Engineering,Japan","institution_ids":["https://openalex.org/I63216439"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hiroyuki Tomiyama","orcid":null},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroyuki Tomiyama","raw_affiliation_strings":["Graduate School of Science and Engineering, Ritsumeikan University,Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Science and Engineering, Ritsumeikan University,Japan","institution_ids":["https://openalex.org/I135768898"]}]},{"author_position":"last","author":{"id":null,"display_name":"Shigeru Yamashita","orcid":null},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shigeru Yamashita","raw_affiliation_strings":["College of Information Science and Engineering, Ritsumeikan University,Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Information Science and Engineering, Ritsumeikan University,Japan","institution_ids":["https://openalex.org/I135768898"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.53334974,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"240"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T13849","display_name":"Enterobacteriaceae and Cronobacter Research","score":0.11599999666213989,"subfield":{"id":"https://openalex.org/subfields/1310","display_name":"Endocrinology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T13849","display_name":"Enterobacteriaceae and Cronobacter Research","score":0.11599999666213989,"subfield":{"id":"https://openalex.org/subfields/1310","display_name":"Endocrinology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12167","display_name":"Bacterial Identification and Susceptibility Testing","score":0.10019999742507935,"subfield":{"id":"https://openalex.org/subfields/1308","display_name":"Clinical Biochemistry"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10066","display_name":"Gut microbiota and health","score":0.09049999713897705,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6489999890327454},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5927000045776367},{"id":"https://openalex.org/keywords/mean-squared-error","display_name":"Mean squared error","score":0.5547999739646912},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4848000109195709},{"id":"https://openalex.org/keywords/random-forest","display_name":"Random forest","score":0.44440001249313354},{"id":"https://openalex.org/keywords/perceptron","display_name":"Perceptron","score":0.36800000071525574},{"id":"https://openalex.org/keywords/model-selection","display_name":"Model selection","score":0.3652999997138977}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7245000004768372},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6489999890327454},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.6154000163078308},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5927000045776367},{"id":"https://openalex.org/C139945424","wikidata":"https://www.wikidata.org/wiki/Q1940696","display_name":"Mean squared error","level":2,"score":0.5547999739646912},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5509999990463257},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4848000109195709},{"id":"https://openalex.org/C169258074","wikidata":"https://www.wikidata.org/wiki/Q245748","display_name":"Random forest","level":2,"score":0.44440001249313354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3970000147819519},{"id":"https://openalex.org/C60908668","wikidata":"https://www.wikidata.org/wiki/Q690207","display_name":"Perceptron","level":3,"score":0.36800000071525574},{"id":"https://openalex.org/C93959086","wikidata":"https://www.wikidata.org/wiki/Q6888345","display_name":"Model selection","level":2,"score":0.3652999997138977},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.3398999869823456},{"id":"https://openalex.org/C148483581","wikidata":"https://www.wikidata.org/wiki/Q446488","display_name":"Feature selection","level":2,"score":0.337799996137619},{"id":"https://openalex.org/C2778334786","wikidata":"https://www.wikidata.org/wiki/Q1586270","display_name":"Variation (astronomy)","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C179717631","wikidata":"https://www.wikidata.org/wiki/Q2991667","display_name":"Multilayer perceptron","level":3,"score":0.29600000381469727},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2644999921321869},{"id":"https://openalex.org/C40969351","wikidata":"https://www.wikidata.org/wiki/Q3516228","display_name":"Word error rate","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C45804977","wikidata":"https://www.wikidata.org/wiki/Q7239673","display_name":"Predictive modelling","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rtcsa66114.2025.00035","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtcsa66114.2025.00035","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 31st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1546325545","https://openalex.org/W1566273688","https://openalex.org/W2147148915","https://openalex.org/W4402093207"],"related_works":[],"abstract_inverted_index":{"The":[0],"satisfiability":[1],"(SAT)":[2],"problem":[3],"is":[4,120,136],"one":[5],"of":[6,27,55,108,131],"the":[7,53,106,114,125,129],"most":[8],"fundamental":[9],"NP-complete":[10],"problems,":[11],"and":[12,38,45,84,98,122,143,167],"competitions":[13],"for":[14,34,154,163],"SAT":[15,61,67,172],"solvers":[16,44],"are":[17,145],"held":[18],"annually":[19],"to":[20],"benchmark":[21],"solver":[22,28,36],"performance.":[23],"Accurate":[24],"real-time":[25],"prediction":[26,63,159],"runtime":[29,62,158],"has":[30],"become":[31],"more":[32,91,137,156],"important":[33],"optimal":[35],"selection":[37,166],"efficient":[39],"resource":[40,168],"allocation,":[41],"especially":[42],"as":[43],"hardware":[46],"advance.":[47],"In":[48],"this":[49],"work,":[50],"we":[51,71,103],"evaluate":[52],"performance":[54,107,116,130],"major":[56],"machine":[57],"learning":[58],"models":[59,135,160],"on":[60],"tasks,":[64],"using":[65],"recent":[66],"competition":[68],"datasets.":[69],"Furthermore,":[70],"use":[72],"not":[73,152],"only":[74,153],"conventional":[75],"evaluation":[76],"metrics":[77,93],"e.g.,":[78,94],"Root":[79],"Mean":[80,85],"Squared":[81],"Error":[82,87],"(RMSE)":[83],"Absolute":[86],"(MAE),":[88],"but":[89,161],"also":[90,162],"detailed":[92],"classification-based":[95],"confusion":[96],"matrices":[97],"cumulative":[99],"error":[100],"distributions.":[101],"Consequently,":[102],"observe":[104],"that":[105],"random":[109],"forest":[110],"models,":[111],"often":[112],"showing":[113],"highest":[115],"in":[117,171],"previous":[118],"studies,":[119],"poor":[121],"biased":[123],"toward":[124],"median":[126],"runtime,":[127],"while":[128],"Multilayer":[132],"Perceptron":[133],"(MLP)":[134],"robust":[138],"even":[139],"when":[140],"their":[141],"RMSE":[142],"MAE":[144],"higher.":[146],"These":[147],"results":[148],"offer":[149],"new":[150],"insights":[151],"developing":[155],"reliable":[157],"improving":[164],"algorithm":[165],"management":[169],"methods":[170],"solving.":[173]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}