Publications-Proceedings

Article View/Open

Publication Export

Google ScholarTM

NCCU Library

Citation Infomation

Related Publications in TAIR

題名 Agentic Taxation Optimization via LLM SMT-Constraint Reasoning
作者 郁方
Hwang, Ting Chien;Yu, Fang;Jiang, Jie-Hong Roland
貢獻者 資管系
日期 2026-04
上傳時間 11-Feb-2026 09:26:49 (UTC+8)
關聯 48th International Conference on Software Engineering (ICSE 2026 SEIP), IEEE/ACM SIGSOFT
資料類型 conference
dc.contributor 資管系
dc.creator (作者) 郁方
dc.creator (作者) Hwang, Ting Chien;Yu, Fang;Jiang, Jie-Hong Roland
dc.date (日期) 2026-04
dc.date.accessioned 11-Feb-2026 09:26:49 (UTC+8)-
dc.date.available 11-Feb-2026 09:26:49 (UTC+8)-
dc.date.issued (上傳時間) 11-Feb-2026 09:26:49 (UTC+8)-
dc.identifier.uri (URI) https://nccur.lib.nccu.edu.tw/handle/140.119/161668-
dc.format.extent 91082 bytes-
dc.format.mimetype application/pdf-
dc.relation (關聯) 48th International Conference on Software Engineering (ICSE 2026 SEIP), IEEE/ACM SIGSOFT
dc.title (題名) Agentic Taxation Optimization via LLM SMT-Constraint Reasoning
dc.type (資料類型) conference