ScienceGate Book Chapters

JOURNAL ARTICLE

极小不可满足公式的两个多项式时间可判定类 *

德成丁希顺赵

Year: 1999 Journal: Science in China Series A-Mathematics (in Chinese) Vol: 29 (3)Pages: 198-206

DOI: 10.1360/za1999-29-3-198

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science

Metrics

0

Cited By

0.00

FWCI (Field Weighted Citation Impact)

0

Refs

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Related Documents

JOURNAL ARTICLE

多项式映射可逆性的一个判则

Journal: Chinese Science Bulletin (Chinese Version) Year: 1988 Vol: 33 (3)Pages: 168-171

JOURNAL ARTICLE

具有根式不可解特征多项式的最小图

Journal: Chinese Science Bulletin (Chinese Version) Year: 1985 Vol: 30 (12)Pages: 888-890

JOURNAL ARTICLE

NuTL2PFG: ν TL公式的可满足性检查

刘尧 Yao Liu 段振华 Zhenhua Duan 田聪 Cong Tian

Year: 2017

JOURNAL ARTICLE

关于多项式的不可分解性

定一裴庭藩谢

Journal: Chinese Science Bulletin (Chinese Version) Year: 1975 Vol: 20 (9)Pages: 414-415

JOURNAL ARTICLE

一类同步合成网合法发射序列判定的一个多项式时间算法

Journal: Science in China Series E-Technological Sciences (in Chinese) Year: 2002