×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
在这里添加一些文本
Close
导航切换
Journal of Northeastern University(Natural Science)
Home
About Journal
Editorial Board
Guide to Authors
Subscribe
Contacts us
中文
Research on Model Counting with Mixed Exactly-One Constraints
HAN Shu-ting， LAI Yong， LIU Jie
Journal of Northeastern University(Natural Science) . 2022, (
4
): 463 -469 . DOI: 10.12068/j.issn.1005-3026.2022.04.002
