Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality

  • Chendong Li
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5649)


Binary constraint is an important constraint class that has been studied in both Constraint (Logic) Programming community [5] and Mathematical Programming community [3,4]. In [6] we studied Functional Constraints in Binary Constraint Satisfaction Problems (BCSPs) and developed efficient variable elimination algorithms based on variable substitutions (For details please refer to [6]). On the basis of our variable elimination algorithms for Functional Constraints, we further explored a special case of BCSPs that consisted of only Bi-Functional Constraints, which were called \( \mathcal{I}\) Constraints in our experiments. Afterward we extended our elimination algorithms to solve integer programs with two variables per inequality. These problems are known as TVPIs that have been studied in [3,4].


  1. 1.
    Bessiere, C., Regin, J.C., Yap, R.H.C., Zhang, Y.: An Optimal Coarse-grained Arc Consistency Algorithm. Artificial Intelligence 165(2), 165–185 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    David, P.: When functional and bijective constraints make a CSP polynomial. In: Bajcsy, R. (ed.) Proceedings of IJCAI 1993, vol. 1, pp. 224–229. Morgan Kaufmann, San Fransisco (1993)Google Scholar
  3. 3.
    Sewell, E.C.: Binary integer programs with two variables per inequality. Math. Program. 75, 467–476 (1996)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Simon, A., King, A., Howe, J.: Two Variables per Linear Inequality as an Abstract Domain. In: Leuschel, M.A. (ed.) LOPSTR 2002. LNCS, vol. 2664, pp. 71–89. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Van Hentenryck, P., Deville, Y., Teng, C.M.: A Generic Arc-consistency Algorithm and its Specializations. Artificial Intelligence 58, 291–321 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Zhang, Y., Yap, R.H.C., Li, C., Marisetti, S.: Efficient Algorithms for Functional Constraints. In: Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 606–620. Springer, Heidelberg (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Chendong Li
    • 1
  1. 1.Department of Computer ScienceTexas Tech UniversityLubbockUSA

Personalised recommendations