# Agentic Taxation Optimization via LLM SMT-Constraint Reasoning

**Source**: https://ah.lib.nccu.edu.tw/item?item_id=181260
**Parent**: https://ah.lib.nccu.edu.tw/browse-item

### 學術產出-會議論文

### 文章檢視/開啟

- [pdf(9)](https://ah.lib.nccu.edu.tw/bitstream2/140.119/161668/1/57.pdf)

### 書目匯出

- [Endnote RIS 格式資料匯出](JavaScript:document.frmRIS.submit())
- [Bibtex 格式資料匯出](JavaScript:document.frmBIB.submit())

### Google ScholarTM

### 政大圖書館

- [學術資源探索系統](https://nccu.primo.exlibrisgroup.com/discovery/search?query=any,contains,Agentic Taxation Optimization via LLM SMT-Constraint Reasoning&vid=886NCCU_INST:886NCCU_INST&tab=Everything&search_scope=MyInst_and_CI&pcAvailability=true "學術資源探索系統")

### 引文資訊

- [無doi欄位資料顯示引文資訊](#)

### TAIR相關學術產出

- [Simple Record](#one)
- [Full Record](#two)

|  |  |
| --- | --- |
| 題名 | Agentic Taxation Optimization via LLM SMT-Constraint Reasoning |
| 作者 | 郁方 Hwang, Ting Chien;Yu, Fang;Jiang, Jie-Hong Roland |
| 貢獻者 | 資管系 |
| 日期 | 2026-04 |
| 上傳時間 | 11-二月-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-二月-2026 09:26:49 (UTC+8) | - |
| dc.date.available | 11-二月-2026 09:26:49 (UTC+8) | - |
| dc.date.issued (上傳時間) | 11-二月-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 |  |