Work

Compiler Optimization-Based SMT Simplifications: An In-Depth Study

Year: 2026

Type: article

Source: ACM Transactions on Software Engineering and Methodology

DOI: 10.1145/3795879

Authors: Hanyun Jiang, Peisen Yao, Jiachen Lu, Yongwang Zhao, Kui Ren

Institution: Zhejiang University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7129011839

FWCI:

Cites: 11

Cited by:

Related to: