Conflict Resolution
暂无分享,去创建一个
Nestan Tsiskaridze | Konstantin Korovin | Andrei Voronkov | A. Voronkov | Konstantin Korovin | Nestan Tsiskaridze
[1] Vijay Chandru,et al. Variable Elimination in Linear Constraints , 1993, Comput. J..
[2] Pascal Van Hentenryck,et al. A Note on Redundant Linear Constraints , 1992 .
[3] Albert Oliveras,et al. Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools , 2005, LPAR.
[4] Michael J. Maher,et al. Projecting CLP(R ) Constraints , 1993 .
[5] D. Kohler. PROJECTIONS OF CONVEX POLYHEDRAL SETS , 1967 .
[6] R. Duffin. On fourier’s analysis of linear inequality systems , 1974 .
[7] Alexander Schrijver,et al. Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.