Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. The essence of constraint propagation;Apt;Theoret. Comput. Sci.,1999
2. The role of commutativity in constraint propagation algorithms;Apt;ACM Trans. Programming Languages Systems,2000
3. A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality;Aspvall;SIAM J. Comput.,1980
4. Applying interval arithmetic to real, integer, and Boolean constraints;Benhamou;J. Logic Programming,1997
5. W.W. Bledsoe, The Sup–Inf method in Presburger arithmetic, Technical Report, Mathematics Department, University of Texas, December 1974.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synthesis of Allowlists for Runtime Protection against SQLi;Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results;2024-04-14
2. A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals;ACM Transactions on Computational Logic;2023-11-18
3. Static Single Information Form;SSA-based Compiler Design;2021-06-12
4. Decidability of inferring inductive invariants;ACM SIGPLAN Notices;2016-04-08
5. Decidability of inferring inductive invariants;Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2016-01-11