Author:
Lassez Jean-Louis,McAloon Ken
Subject
Computational Mathematics,Algebra and Number Theory
Reference34 articles.
1. Equivalent Linear Programs;Adler,1976
2. The programming language aspects of THINGLAB-a constraint oriented simulation laboratory;Borning;ACM Transactions on Programming Languages and Systems,1981
3. Equivalent integer programs and canonical problems;Bradley;Management Science,1970
4. A new method for proving certain Presburger formulas;Bledsoe,1975
5. Constraint propagation with integral labels;Davis;AI Journal,1987
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Detecting Semantic Clones in Constraint Logic Programs;2022 IEEE 16th International Workshop on Software Clones (IWSC);2022-10
2. A unified framework for heterogeneous patterns;Information Systems;2012-07
3. Speeding up Polyhedral Analysis by Identifying Common Constraints;Electronic Notes in Theoretical Computer Science;2010-10
4. A Note on the Inversion Join for Polyhedral Analysis;Electronic Notes in Theoretical Computer Science;2010-10
5. Typing linear constraints;ACM Transactions on Programming Languages and Systems;2010-08