An Introduction to Empty Lattice Simplices
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
Non-standard approaches to integer programming
Discrete Applied Mathematics
Journal of Computer and System Sciences - STOC 2002
Approximately counting integral flows and cell-bounded contingency tables
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
FPTAS for mixed-integer polynomial optimization with a fixed number of variables
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Memory size computation for multimedia processing applications
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Integer Polynomial Optimization in Fixed Dimension
Mathematics of Operations Research
Computation of storage requirements for multi-dimensional signal processing applications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Counting with rational generating functions
Journal of Symbolic Computation
Integrated Computer-Aided Engineering
Journal of Signal Processing Systems
Pareto Optima of Multicriteria Integer Linear Programs
INFORMS Journal on Computing
Integer Polyhedra for Program Analysis
AAIM '09 Proceedings of the 5th International Conference on Algorithmic Aspects in Information and Management
Proceedings of the 3rd Workshop on General-Purpose Computation on Graphics Processing Units
Order statistics in the Farey sequences in sublinear time
ESA'07 Proceedings of the 15th annual European conference on Algorithms
Counting solutions of integer programs using unrestricted subtree detection
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Computing pure strategy nash equilibria in compact symmetric games
Proceedings of the 11th ACM conference on Electronic commerce
Multivariate splines and polytopes
Journal of Approximation Theory
Approximately Counting Integral Flows and Cell-Bounded Contingency Tables
SIAM Journal on Computing
On the Occurrence Probability of Local Binary Patterns: A Theoretical Study
Journal of Mathematical Imaging and Vision
Rational Generating Functions and Integer Programming Games
Operations Research
Quasi-polynomials, linear Diophantine equations and semi-linear sets
Theoretical Computer Science
Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization
ACM Transactions on Architecture and Code Optimization (TACO)
A O(1/ε2)n-time sieving algorithm for approximate integer programming
LATIN'12 Proceedings of the 10th Latin American international conference on Theoretical Informatics
Column basis reduction and decomposable knapsack problems
Discrete Optimization
A generalization of the integer linear infeasibility problem
Discrete Optimization
Integer programming, Barvinok's counting algorithm and Gomory relaxations
Operations Research Letters
Symbolic quantitative information flow
ACM SIGSOFT Software Engineering Notes
On the bit-complexity of sparse polynomial and series multiplication
Journal of Symbolic Computation
Presburger arithmetic, rational generating functions, and quasi-polynomials
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 0.00 |