ISCAS OpenIR  > 基础软件与系统重点实验室
enhancing global sls-resolution with loop cutting and tabling mechanisms
Shen Yidong; Jia-Huai You; Li-Yan Yuan
2004
SourceTheoretical Computer Science
Volume328Issue:3Pages:271-287
Indexed Typesciencedirect
Department计算机科学国家重点实验室
WOS IDWOS:000225614400003
Citation statistics
Content Type期刊论文
URIhttp://ir.iscas.ac.cn/handle/311060/4546
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
Shen Yidong,Jia-Huai You,Li-Yan Yuan. enhancing global sls-resolution with loop cutting and tabling mechanisms[J]. Theoretical Computer Science,2004,328(3):271-287.
APA Shen Yidong,Jia-Huai You,&Li-Yan Yuan.(2004).enhancing global sls-resolution with loop cutting and tabling mechanisms.Theoretical Computer Science,328(3),271-287.
MLA Shen Yidong,et al."enhancing global sls-resolution with loop cutting and tabling mechanisms".Theoretical Computer Science 328.3(2004):271-287.
Files in This Item:
File Name/Size DocType Version Access License
1.pdf(194KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Shen Yidong]'s Articles
[Jia-Huai You]'s Articles
[Li-Yan Yuan]'s Articles
Baidu academic
Similar articles in Baidu academic
[Shen Yidong]'s Articles
[Jia-Huai You]'s Articles
[Li-Yan Yuan]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Shen Yidong]'s Articles
[Jia-Huai You]'s Articles
[Li-Yan Yuan]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.