Author:
Bao Forrest Sheng,Gutierrez Chris,Jn Charles-Blount Jeriah,Yan Yaowei,Zhang Yuanlin
Funder
National Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference19 articles.
1. Agrawal R, Srikant R (1994) Fast algorithms for mining association rules in large databases. In: Proceedings of the 20th international conference on very large data bases, VLDB ’94, pp 487–499
2. Agrawal R, Imieliński T, Swami A (1993) Mining association rules between sets of items in large databases. In: Proceedings of the 1993 ACM SIGMOD international conference on management of data, SIGMOD’93, pp 207–216
3. Aho AV, Lam MS, Sethi R, Ullman JD (2007) Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc, Boston. ISBN 0-201-10088-6
4. Araya I, Neveu B, Trombettoni G (2008) Exploiting common subexpressions in numerical CSPs. In: Proceedings of 14th international conference on principles and practice of constraint programming, CP 2008, pp 342–357
5. Arpe J, Reischuk R (2006) On the complexity of optimal grammar-based compression. In: Proceedings data compression conference, DCC 2006, pp 173–182
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Certified SAT solving with GPU accelerated inprocessing;Formal Methods in System Design;2023-08-02
2. A Bloom Filter-based Algorithm for Fast Detection of Common Variables;2023 International Conference on Frontiers of Robotics and Software Engineering (FRSE);2023-06
3. SAT Solving with GPU Accelerated Inprocessing;Tools and Algorithms for the Construction and Analysis of Systems;2021
4. ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021
5. Parallel SAT Simplification on GPU Architectures;Tools and Algorithms for the Construction and Analysis of Systems;2019