搜索结果: 1-3 共查到“linear inequalities”相关记录3条 . 查询时间(0.137 秒)
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities Over Integers
Complete Practical Technique Linear Inequalities Over Integers
2016/5/24
We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generalization of the branch-and-bound t...
Solution Building for Arbitrary System of Linear Inequalities in an Explicit Form
Linear Inequalities Convolution Variable Elimination Orthogonal Projection Method Fourier Algorithm Chernikov Rules Dependent Inequalities Redundant Inequalities Almost Dependent Inequalities Matrix Cleanup Coarsening
2013/1/30
The known Fourier-Chernikov algorithm of linear inequality system convolution is complemented with an original procedure of all dependent (redundant) inequalities deletion. The concept of !°almost dep...
Extension results for boolean maps and a class of systems of linear inequalities
Involution posets boolean maps systems of linear inequalities
2011/2/28
In this paper we introduce the notion of core for two specific classes of boolean maps on finite involution posets (which are a generalization of the boolean lattices) and we prove some extension resu...