中国计算机学会会刊
中国科技核心期刊
中文核心期刊
Home
Introduction
Journal honors
Database
Editorial board
Guide
Submission
Publishing ethics
Subscription
Download
Contact us
中文
Research advances in the solving methods of
satisfiability modulo theories based on first-order logic
ZHANG Jian-min，LI Tie-jun，MA Ke-fan，XIAO Li-quan
Computer Engineering & Science . 2019, (
12
): 2119 -2126 .
