skip to main content
Skip header Section
Theory of linear and integer programmingJune 1986
  • Author:
  • Alexander Schrijver
Publisher:
  • John Wiley & Sons, Inc.
  • 605 Third Ave. New York, NY
  • United States
ISBN:978-0-471-90854-8
Published:01 June 1986
Pages:
471
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    Cáceres M, Cairo M, Grigorjew A, Khan S, Mumey B, Rizzi R, Tomescu A and Williams L (2024). Width Helps and Hinders Splitting Flows, ACM Transactions on Algorithms, 20:2, (1-20), Online publication date: 30-Apr-2024.
  2. Rang W, Liang H, Wang Y, Zhou X and Cheng D (2024). A unified hybrid memory system for scalable deep learning and big data applications, Journal of Parallel and Distributed Computing, 186:C, Online publication date: 1-Apr-2024.
  3. Gribanov D, Shumilov I, Malyshev D and Pardalos P (2024). On -modular integer linear problems in the canonical form and equivalent problems, Journal of Global Optimization, 88:3, (591-651), Online publication date: 1-Mar-2024.
  4. Chen X, Ding G, Zang W and Zhao Q (2024). Packing Feedback Arc Sets in Tournaments Exactly, Mathematics of Operations Research, 49:1, (151-170), Online publication date: 1-Feb-2024.
  5. Bruse F, Herwig M and Lange M (2024). Weights of formal languages based on geometric series with an application to automatic grading, Theoretical Computer Science, 983:C, Online publication date: 1-Feb-2024.
  6. Caragiannis I and Narang S (2024). Repeatedly matching items to agents fairly and efficiently, Theoretical Computer Science, 981:C, Online publication date: 4-Jan-2024.
  7. Brill M, Freeman R, Janson S and Lackner M (2024). Phragmén’s voting methods and justified representation, Mathematical Programming: Series A and B, 203:1-2, (47-76), Online publication date: 1-Jan-2024.
  8. ACM
    Romero M, Wrochna M and Živný S (2023). Pliability and Approximating Max-CSPs, Journal of the ACM, 70:6, (1-43), Online publication date: 31-Dec-2024.
  9. Kostolányi P (2023). Bideterministic weighted automata, Information and Computation, 295:PB, Online publication date: 1-Dec-2023.
  10. Willemsen R, van den Heuvel W and van de Velden M (2023). A new mixed integer programming approach for inverse correspondence analysis, Computers and Operations Research, 160:C, Online publication date: 1-Dec-2023.
  11. Zhang Y, Xia Y, Liu S and Sun Z (2023). On polynomially solvable constrained input selections for fixed and switched linear structured systems, Automatica (Journal of IFAC), 158:C, Online publication date: 1-Dec-2023.
  12. Alves L, Rafael G, Batista L and Pena P (2023). A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms, Discrete Event Dynamic Systems, 33:4, (373-394), Online publication date: 1-Dec-2023.
  13. Boutilier J, Michini C and Zhou Z (2023). Optimal multivariate decision trees, Constraints, 28:4, (549-577), Online publication date: 1-Dec-2023.
  14. Yang Y and Wang J (2023). Parameterized complexity of multiwinner determination: more effort towards fixed-parameter tractability, Autonomous Agents and Multi-Agent Systems, 37:2, Online publication date: 1-Dec-2023.
  15. González D’León R, Hanusa C, Morales A and Yip M (2023). Column-Convex Matrices, G-Cyclic Orders, and Flow Polytopes, Discrete & Computational Geometry, 70:4, (1593-1631), Online publication date: 1-Dec-2023.
  16. ACM
    Brugger L, Kovács L, Petkovic Komel A, Rain S and Rawson M CheckMate: Automated Game-Theoretic Security Reasoning Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, (1407-1421)
  17. Lee J, Paat J, Stallknecht I and Xu L (2023). Polynomial Upper Bounds on the Number of Differing Columns of Δ-Modular Integer Programs, Mathematics of Operations Research, 48:4, (2267-2286), Online publication date: 1-Nov-2023.
  18. Walter M (2023). Recognizing Series-Parallel Matrices in Linear Time, INFORMS Journal on Computing, 35:6, (1404-1418), Online publication date: 1-Nov-2023.
  19. Lan M, Ling Q, Xiao S and Zhang W (2023). Quantization Bits Allocation for Wireless Federated Learning, IEEE Transactions on Wireless Communications, 22:11, (8336-8351), Online publication date: 1-Nov-2023.
  20. De Rosa A and Khajavirad A (2023). Efficient joint object matching via linear programming, Mathematical Programming: Series A and B, 202:1-2, (1-46), Online publication date: 1-Nov-2023.
  21. ACM
    Birmpilis S, Labahn G and Storjohann A (2023). A Cubic Algorithm for Computing the Hermite Normal Form of a Nonsingular Integer Matrix, ACM Transactions on Algorithms, 19:4, (1-36), Online publication date: 31-Oct-2023.
  22. Bell P, Niskanen R, Potapov I and Semukhin P On the Identity and Group Problems for Complex Heisenberg Matrices Reachability Problems, (42-55)
  23. Tong Y, Shi D, Xu Y, Lv W, Qin Z and Tang X (2023). Combinatorial Optimization Meets Reinforcement Learning: Effective Taxi Order Dispatching at Large-Scale, IEEE Transactions on Knowledge and Data Engineering, 35:10, (9812-9823), Online publication date: 1-Oct-2023.
  24. Ebrahimi M, Modarres-Hashemi M and Yazdian E (2023). Optimal placement of sensors to enhance degrees of freedom in monostatic collocated MIMO radar, Digital Signal Processing, 142:C, Online publication date: 1-Oct-2023.
  25. Castro-Silva D, de Oliveira Filho F, Slot L and Vallentin F (2023). A Recursive Theta Body for Hypergraphs, Combinatorica, 43:5, (909-938), Online publication date: 1-Oct-2023.
  26. Bhaskar U, Misra N, Sethia A and Vaish R The Price of Equity with Binary Valuations and Few Agent Types Algorithmic Game Theory, (271-289)
  27. Mu J, Tan Y, Grayden D and Oetomo D (2023). Linear Diophantine equation (LDE) decoder, Asian Journal of Control, 25:5, (3292-3304), Online publication date: 4-Sep-2023.
  28. Baxter A, Keskinocak P and Singh M (2023). Heterogeneous Multi-resource Planning and Allocation Under Stochastic Demand, INFORMS Journal on Computing, 35:5, (929-951), Online publication date: 1-Sep-2023.
  29. Cai C, Yuan X and Zhang Y (2023). RIS Partitioning Based Scalable Beamforming Design for Large-Scale MIMO: Asymptotic Analysis and Optimization, IEEE Transactions on Wireless Communications, 22:9, (6061-6077), Online publication date: 1-Sep-2023.
  30. Zadorojniy A, Osogami T and Davidovich O A rigorous risk-aware linear approach to extended Markov ratio decision processes with embedded learning Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, (5475-5483)
  31. Kawase Y, Sumita H and Yokoi Y Random assignment of indivisible goods under constraints Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, (2792-2799)
  32. Xie X, Huang L, Tang C and Ning Q (2023). Multi‐objective routing algorithms for low‐earth orbit satellite network, International Journal of Satellite Communications and Networking, 41:5, (427-440), Online publication date: 9-Aug-2023.
  33. Levin A (2023). Online Minimization of the Maximum Starting Time: Migration Helps, Algorithmica, 85:8, (2238-2259), Online publication date: 1-Aug-2023.
  34. Del Pia A and Di Gregorio S (2023). On the Complexity of Binary Polynomial Optimization Over Acyclic Hypergraphs, Algorithmica, 85:8, (2189-2213), Online publication date: 1-Aug-2023.
  35. Subramani K and Wojciechowski P (2023). Unit Read-once Refutations for Systems of Difference Constraints, Theory of Computing Systems, 67:4, (877-899), Online publication date: 1-Aug-2023.
  36. Ye H, Xu H, Wang H, Wang C and Jiang Y GNN&GBDT-guided fast optimizing framework for large-scale integer programming Proceedings of the 40th International Conference on Machine Learning, (39864-39878)
  37. ACM
    Boige R, Richard G, Dona J, Pierrot T and Cully A Gradient-Informed Quality Diversity for the Illumination of Discrete Spaces Proceedings of the Genetic and Evolutionary Computation Conference, (119-128)
  38. DeValve L, Pekeč S and Wei Y (2023). Approximate Submodularity in Network Design Problems, Operations Research, 71:4, (1021-1039), Online publication date: 1-Jul-2023.
  39. Ayyildiz Akoglu T and Szanto A (2023). Certified Hermite matrices from approximate roots, Journal of Symbolic Computation, 117:C, (101-118), Online publication date: 1-Jul-2023.
  40. Beck Y, Bienstock D, Schmidt M and Thürauf J (2023). On a Computationally Ill-Behaved Bilevel Problem with a Continuous and Nonconvex Lower Level, Journal of Optimization Theory and Applications, 198:1, (428-447), Online publication date: 1-Jul-2023.
  41. Davidson I, Bai Z, Tran C and Ravi S (2023). Making clusterings fairer by post-processing: algorithms, complexity results and experiments, Data Mining and Knowledge Discovery, 37:4, (1404-1440), Online publication date: 1-Jul-2023.
  42. Basu A (2023). Complexity of optimizing over the integers, Mathematical Programming: Series A and B, 200:2, (739-780), Online publication date: 1-Jul-2023.
  43. Memmi G Minimal Generating Sets for Semiflows Formal Techniques for Distributed Objects, Components, and Systems, (189-205)
  44. Deza D and Onn S (2023). Separable and equatable hypergraphs, Discrete Applied Mathematics, 332:C, (170-179), Online publication date: 15-Jun-2023.
  45. ACM
    Ciardo L and Živný S Approximate Graph Colouring and the Hollow Shadow Proceedings of the 55th Annual ACM Symposium on Theory of Computing, (623-631)
  46. Li J, Alam M and Ghosh S (2023). Large-Scale Quantum Approximate Optimization via Divide-and-Conquer, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42:6, (1852-1860), Online publication date: 1-Jun-2023.
  47. Dlask T and Werner T (2023). Activity propagation in systems of linear inequalities and its relation to block-coordinate descent in linear programs, Constraints, 28:2, (244-276), Online publication date: 1-Jun-2023.
  48. Aouad A, Feldman J and Segev D (2023). The Exponomial Choice Model for Assortment Optimization, Management Science, 69:5, (2814-2832), Online publication date: 1-May-2023.
  49. ACM
    Tan Z, Teng Y and Zhao M Worst-Case Welfare of Item Pricing in the Tollbooth Problem Proceedings of the ACM Web Conference 2023, (3508-3518)
  50. Lee Y and Liu F (2023). Ehrhart Positivity of Tesler Polytopes and Berline–Vergne’s Valuation, Discrete & Computational Geometry, 69:3, (896-918), Online publication date: 1-Apr-2023.
  51. ACM
    Fan H, Sun Z and He F (2023). Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models, ACM Transactions on Programming Languages and Systems, 45:1, (1-37), Online publication date: 31-Mar-2023.
  52. Chen T, Davis R and Korchevskaia E (2023). Facets and facet subgraphs of symmetric edge polytopes, Discrete Applied Mathematics, 328:C, (139-153), Online publication date: 31-Mar-2023.
  53. Teren V, Cortadella J and Villa T (2023). Generation of Synchronizing State Machines from a Transition System, International Journal of Applied Mathematics and Computer Science, 33:1, (133-149), Online publication date: 1-Mar-2023.
  54. Tamura T (2023). Trimming Gene Deletion Strategies for Growth-Coupled Production in Constraint-Based Metabolic Networks: TrimGdel, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 20:2, (1540-1549), Online publication date: 1-Mar-2023.
  55. Villarreal R (2023). A duality theorem for the ic-resurgence of edge ideals, European Journal of Combinatorics, 109:C, Online publication date: 1-Mar-2023.
  56. Basu A, Conforti M, Di Summa M and Jiang H (2023). Complexity of branch-and-bound and cutting planes in mixed-integer optimization, Mathematical Programming: Series A and B, 198:1, (787-810), Online publication date: 1-Mar-2023.
  57. Zamani M and Hladík M (2023). Error bounds and a condition number for the absolute value equations, Mathematical Programming: Series A and B, 198:1, (85-113), Online publication date: 1-Mar-2023.
  58. ACM
    Jiang H (2022). Minimizing Convex Functions with Rational Minimizers, Journal of the ACM, 70:1, (1-27), Online publication date: 28-Feb-2023.
  59. Dharangutte P, Gao J, Gong R and Yu F Integer subspace differential privacy Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence, (7349-7357)
  60. Bienstock D, Pia A and Hildebrand R (2023). Complexity, exactness, and rationality in polynomial optimization, Mathematical Programming: Series A and B, 197:2, (661-692), Online publication date: 1-Feb-2023.
  61. Aprile M, Drescher M, Fiorini S and Huynh T (2023). A tight approximation algorithm for the cluster vertex deletion problem, Mathematical Programming: Series A and B, 197:2, (1069-1091), Online publication date: 1-Feb-2023.
  62. ACM
    Waga M, André É and Hasuo I (2022). Parametric Timed Pattern Matching, ACM Transactions on Software Engineering and Methodology, 32:1, (1-35), Online publication date: 31-Jan-2023.
  63. ACM
    Allamigeon X, Canu Q and Strub P A Formal Disproof of Hirsch Conjecture Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, (17-29)
  64. ACM
    Kincaid Z, Koh N and Zhu S (2023). When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic, Proceedings of the ACM on Programming Languages, 7:POPL, (1275-1307), Online publication date: 9-Jan-2023.
  65. ACM
    Li Y, Zhang Q and Reps T (2023). Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming, Proceedings of the ACM on Programming Languages, 7:POPL, (1003-1026), Online publication date: 9-Jan-2023.
  66. Kashaev D and Santiago R (2023). A simple optimal contention resolution scheme for uniform matroids, Theoretical Computer Science, 940:PA, (81-96), Online publication date: 9-Jan-2023.
  67. Chen L, Wei D, Yin B and Wang J (2023). Static analysis of linear absolute value equalities among variables of a program, Science of Computer Programming, 225:C, Online publication date: 1-Jan-2023.
  68. Jozefiak A, Shepherd F and Weninger N (2023). A knapsack intersection hierarchy, Operations Research Letters, 51:1, (72-78), Online publication date: 1-Jan-2023.
  69. Casanova A, Benavoli A and Zaffalon M (2023). Nonlinear desirability as a linear classification problem, International Journal of Approximate Reasoning, 152:C, (1-32), Online publication date: 1-Jan-2023.
  70. Basu A and Jiang H (2023). Two-halfspace closure, Mathematical Programming: Series A and B, 197:1, (411-426), Online publication date: 1-Jan-2023.
  71. Barbato M, Grappe R, Lacroix M and Lancini E (2023). Box-total dual integrality and edge-connectivity, Mathematical Programming: Series A and B, 197:1, (307-336), Online publication date: 1-Jan-2023.
  72. Jaroschek M, Kauers M and Kovács L (2023). Lonely Points in Simplices, Discrete & Computational Geometry, 69:1, (4-25), Online publication date: 1-Jan-2023.
  73. Erokhin V, Kadochnikov A and Sotnikov S (2022). Sufficient Conditions for the Significance of the Coefficients of Linear Models and the Polynomial-Time Complexity of Their Determination from Data with Interval Uncertainty, Automation and Remote Control, 83:12, (1886-1896), Online publication date: 1-Dec-2022.
  74. Chakraborty D, Das S and Mukherjee J (2022). On dominating set of some subclasses of string graphs, Computational Geometry: Theory and Applications, 107:C, Online publication date: 1-Dec-2022.
  75. Basu A, Conforti M, Di Summa M and Jiang H (2022). Complexity of Branch-and-Bound and Cutting Planes in Mixed-Integer Optimization — II, Combinatorica, 42:Suppl 1, (971-996), Online publication date: 1-Dec-2022.
  76. Fotakis D, Kalavasis A, Kontonis V and Tzamos C Linear label ranking with bounded noise Proceedings of the 36th International Conference on Neural Information Processing Systems, (15642-15656)
  77. ACM
    Dong J, Hartline J and Vijayaraghavan A Classification Protocols with Minimal Disclosure Proceedings of the 2022 Symposium on Computer Science and Law, (67-76)
  78. Wang Y and Huang G (2022). Harvester scheduling joint with operator assignment, Computers and Electronics in Agriculture, 202:C, Online publication date: 1-Nov-2022.
  79. ACM
    Liu H, Fu H, Yu Z, Song J and Li G (2022). Scalable linear invariant generation with Farkas’ lemma, Proceedings of the ACM on Programming Languages, 6:OOPSLA2, (204-232), Online publication date: 31-Oct-2022.
  80. Frank A and Murota K (2022). Fair integral submodular flows, Discrete Applied Mathematics, 320:C, (416-434), Online publication date: 30-Oct-2022.
  81. ACM
    Fu C, Huang H, Wasti B, Cummins C, Baghdadi R, Hazelwood K, Tian Y, Zhao J and Leather H Q-gym Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, (291-303)
  82. Pang J, Han Z, Zhou R, Tan H and Cao Y (2022). Online scheduling algorithms for unbiased distributed learning over wireless edge networks▪, Journal of Systems Architecture: the EUROMICRO Journal, 131:C, Online publication date: 1-Oct-2022.
  83. Oesterheld C and Conitzer V (2022). Safe Pareto improvements for delegated game playing, Autonomous Agents and Multi-Agent Systems, 36:2, Online publication date: 1-Oct-2022.
  84. Barbosa H, Reynolds A, Kremer G, Lachnitt H, Niemetz A, Nötzli A, Ozdemir A, Preiner M, Viswanathan A, Viteri S, Zohar Y, Tinelli C and Barrett C Flexible Proof Production in an Industrial-Strength SMT Solver Automated Reasoning, (15-35)
  85. ACM
    Chistikov D, Haase C and Mansutti A Geometric decision procedures and the VC dimension of linear arithmetic theories Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-13)
  86. ACM
    Shir O Introductory mathematical programming for EC Proceedings of the Genetic and Evolutionary Computation Conference Companion, (1067-1080)
  87. Sun X, Tian C, Hu C, Tian W, Zhang H and Yu J (2022). Privacy-Preserving and verifiable SRC-based face recognition with cloud/edge server assistance, Computers and Security, 118:C, Online publication date: 1-Jul-2022.
  88. Du H, Wu J, Wang D and Chen J (2022). A unified reproducing kernel gradient smoothing Galerkin meshfree approach to strain gradient elasticity, Computational Mechanics, 70:1, (73-100), Online publication date: 1-Jul-2022.
  89. Abdi A, Cornuéjols G, Guenin B and Tunçel L Total Dual Dyadicness and Dyadic Generating Sets Integer Programming and Combinatorial Optimization, (1-14)
  90. Günlü O, Bloch M, Schaefer R and Yener A Secure Joint Communication and Sensing 2022 IEEE International Symposium on Information Theory (ISIT), (844-849)
  91. Bishop P and Povyakalo A Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components Computer Safety, Reliability, and Security, (365-378)
  92. Yıldız B, Boland N and Savelsbergh M (2022). Decomposition Branching for Mixed Integer Programming, Operations Research, 70:3, (1854-1872), Online publication date: 1-May-2022.
  93. Özkan E (2022). Control of Fork-Join Processing Networks with Multiple Job Types and Parallel Shared Resources, Mathematics of Operations Research, 47:2, (1310-1334), Online publication date: 1-May-2022.
  94. Zhao R, Pei S and Yau S (2020). New Genome Sequence Detection via Natural Vector Convex Hull Method, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 19:3, (1782-1793), Online publication date: 1-May-2022.
  95. ACM
    Batz K, Gallus A, Kaminski B, Katoen J and Winkler T (2022). Weighted programming: a programming paradigm for specifying mathematical models, Proceedings of the ACM on Programming Languages, 6:OOPSLA1, (1-30), Online publication date: 29-Apr-2022.
  96. Bastoul C, Zhang Z, Razanajato H, Lossing N, Susungi A, de Juan J, Filhol E, Jarry B, Consolaro G and Zhang R Optimizing GPU deep learning operators with polyhedral scheduling constraint injection Proceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization, (313-324)
  97. Goerigk M, Kasperski A and Zieliński P (2022). Robust two-stage combinatorial optimization problems under convex second-stage cost uncertainty, Journal of Combinatorial Optimization, 43:3, (497-527), Online publication date: 1-Apr-2022.
  98. ACM
    Wang S, Bao Z, Culpepper J and Cong G (2021). A Survey on Trajectory Data Management, Analytics, and Learning, ACM Computing Surveys, 54:2, (1-36), Online publication date: 31-Mar-2022.
  99. Velednitsky M (2022). Solving -stable instances of k-terminal cut with isolating cuts, Journal of Combinatorial Optimization, 43:2, (297-311), Online publication date: 1-Mar-2022.
  100. Klein K (2022). About the complexity of two-stage stochastic IPs, Mathematical Programming: Series A and B, 192:1-2, (319-337), Online publication date: 1-Mar-2022.
  101. Del Pia A and Michini C (2022). Short Simplex Paths in Lattice Polytopes, Discrete & Computational Geometry, 67:2, (503-524), Online publication date: 1-Mar-2022.
  102. Barbato M, Grappe R, Lacroix M, Lancini E and Wolfler Calvo R (2021). The Schrijver system of the flow cone in series–parallel graphs, Discrete Applied Mathematics, 308:C, (162-167), Online publication date: 15-Feb-2022.
  103. Deza A, Huang K and Metel M (2021). Charging station optimization for balanced electric car sharing, Discrete Applied Mathematics, 308:C, (187-197), Online publication date: 15-Feb-2022.
  104. Aprile M and Fiorini S (2022). Regular Matroids Have Polynomial Extension Complexity, Mathematics of Operations Research, 47:1, (540-559), Online publication date: 1-Feb-2022.
  105. Bruggmann S and Zenklusen R (2022). An optimal monotone contention resolution scheme for bipartite matchings via a polyhedral viewpoint, Mathematical Programming: Series A and B, 191:2, (795-845), Online publication date: 1-Feb-2022.
  106. Blicha M, Hyvärinen A, Kofroň J and Sharygina N (2022). Using linear algebra in decomposition of Farkas interpolants, International Journal on Software Tools for Technology Transfer (STTT), 24:1, (111-125), Online publication date: 1-Feb-2022.
  107. ACM
    Jamil B, Ijaz H, Shojafar M, Munir K and Buyya R (2022). Resource Allocation and Task Scheduling in Fog Computing and Internet of Everything Environments: A Taxonomy, Review, and Future Directions, ACM Computing Surveys, 54:11s, (1-38), Online publication date: 31-Jan-2022.
  108. Nip K, Shi T and Wang Z (2022). Some graph optimization problems with weights satisfying linear constraints, Journal of Combinatorial Optimization, 43:1, (200-225), Online publication date: 1-Jan-2022.
  109. Wojciechowski P, Subramani K and Williamson M (2021). Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints, Discrete Applied Mathematics, 305:C, (272-294), Online publication date: 31-Dec-2022.
  110. Xu Z and Duan X Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic 2021 60th IEEE Conference on Decision and Control (CDC), (2830-2835)
  111. Sha Q, Liu X, Ansari N and Jia Y Efficient Multiple Charging Base Stations Assignment for Far-Field Wireless-Charging in Green IoT 2021 IEEE Global Communications Conference (GLOBECOM), (1-6)
  112. Anđelić M, Cardoso D, Simić S and Stanić Z (2022). The main vertices of a star set and related graph parameters, Discrete Mathematics, 344:12, Online publication date: 1-Dec-2021.
  113. Dvořák P, Eiben E, Ganian R, Knop D and Ordyniak S (2022). The complexity landscape of decompositional parameters for ILP, Artificial Intelligence, 300:C, Online publication date: 1-Nov-2021.
  114. Kleer P and Schäfer G (2021). Computation and efficiency of potential function minimizers of combinatorial congestion games, Mathematical Programming: Series A and B, 190:1-2, (523-560), Online publication date: 1-Nov-2021.
  115. ACM
    Pitchanathan A, Ulmann C, Weber M, Hoefler T and Grosser T (2021). FPL: fast Presburger arithmetic through transprecision, Proceedings of the ACM on Programming Languages, 5:OOPSLA, (1-26), Online publication date: 20-Oct-2021.
  116. ACM
    Iannetta P, Gonnord L and Radanne G Compiling pattern matching to in-place modifications Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (123-129)
  117. Adjé A, Ben Khalifa D and Martel M Fast and Efficient Bit-Level Precision Tuning Static Analysis, (1-24)
  118. Kasperski A and Zieliński P (2021). Soft robust solutions to possibilistic optimization problems, Fuzzy Sets and Systems, 422:C, (130-148), Online publication date: 15-Oct-2021.
  119. ACM
    Kong M (2021). On the Impact of Affine Loop Transformations in Qubit Allocation, ACM Transactions on Quantum Computing, 2:3, (1-40), Online publication date: 30-Sep-2021.
  120. Bielecki W and Poliwoda M Automatic Parallel Tiled Code Generation Based on Dependence Approximation Parallel Computing Technologies, (260-275)
  121. Bienkowski M, Böhm M, Koutecký M, Rothvoß T, Sgall J and Veselý P Improved Analysis of Online Balanced Clustering Approximation and Online Algorithms, (224-233)
  122. Magnanti T (2021). Optimization, Management Science, 67:9, (5349-5363), Online publication date: 1-Sep-2021.
  123. Leontiev V and Gordeev E (2021). On the Number of Solutions to a System of Boolean Equations, Automation and Remote Control, 82:9, (1581-1596), Online publication date: 1-Sep-2021.
  124. Nguyen T and Elbassioni K (2021). A PTAS for a class of binary non-linear programs with low-rank functions, Operations Research Letters, 49:5, (633-638), Online publication date: 1-Sep-2021.
  125. Kasis A, Monshizadeh N and Lestas I (2021). Primary frequency regulation in power grids with on–off loads, Automatica (Journal of IFAC), 131:C, Online publication date: 1-Sep-2021.
  126. Blondin M, Esparza J, Jaax S and Meyer P (2021). Towards efficient verification of population protocols, Formal Methods in System Design, 57:3, (305-342), Online publication date: 1-Sep-2021.
  127. ACM
    Wang W, Yang W, Xu T and Xie T Vet: identifying and avoiding UI exploration tarpits Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (83-94)
  128. ACM
    Atserias A, Dawar A and Ochremiak J (2021). On the Power of Symmetric Linear Programs, Journal of the ACM, 68:4, (1-35), Online publication date: 1-Aug-2021.
  129. Bürgisser P, Doğan M, Makam V, Walter M and Wigderson A Polynomial time algorithms in invariant theory for torus actions Proceedings of the 36th Computational Complexity Conference
  130. Albert E, Genaim S, Martin-Martin E, Merayo A and Rubio A Lower-Bound Synthesis Using Loop Specialization and Max-SMT Computer Aided Verification, (863-886)
  131. ACM
    Caragiannis I, Kanellopoulos P and Kyropoulou M On Interim Envy-Free Allocation Lotteries Proceedings of the 22nd ACM Conference on Economics and Computation, (264-284)
  132. ACM
    Shir O Introductory mathematical programming for EC Proceedings of the Genetic and Evolutionary Computation Conference Companion, (484-497)
  133. Moosaei H and Hladík M (2021). On the Optimal Correction of Infeasible Systems of Linear Inequalities, Journal of Optimization Theory and Applications, 190:1, (32-55), Online publication date: 1-Jul-2021.
  134. ACM
    Takisaka T, Oyabu Y, Urabe N and Hasuo I (2021). Ranking and Repulsing Supermartingales for Reachability in Randomized Programs, ACM Transactions on Programming Languages and Systems, 43:2, (1-46), Online publication date: 30-Jun-2021.
  135. ACM
    Atserias A and Kolaitis P Structure and Complexity of Bag Consistency Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (247-259)
  136. ACM
    Wang J, Sun Y, Fu H, Chatterjee K and Goharshady A Quantitative analysis of assertion violations in probabilistic programs Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (1171-1186)
  137. Dawande M, Feng Z and Janakiraman G (2020). On the Structure of Bottlenecks in Processes, Management Science, 67:6, (3853-3870), Online publication date: 1-Jun-2021.
  138. Iooss G, Alias C and Rajopadhye S (2021). Monoparametric Tiling of Polyhedral Programs, International Journal of Parallel Programming, 49:3, (376-409), Online publication date: 1-Jun-2021.
  139. Sterle C, Caragallo V, Liccardo A, Masone A, Fatica A and Bonavolontà F Integer Linear Programming for optimizing the position of IEDs in Medium Voltage smart grids 2021 IEEE International Instrumentation and Measurement Technology Conference (I2MTC), (1-5)
  140. Bredereck R, Figiel A, Kaczmarczyk A, Knop D and Niedermeier R High-Multiplicity Fair Allocation Made More Practical Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, (260-268)
  141. Köppe M and Zhou Y (2021). Facets, weak facets, and extreme functions of the Gomory–Johnson infinite group problem, Mathematical Programming: Series A and B, 187:1-2, (195-252), Online publication date: 1-May-2021.
  142. Dutour Sikirić M, Schürmann A and Vallentin F (2021). A simplex algorithm for rational cp-factorization, Mathematical Programming: Series A and B, 187:1-2, (25-45), Online publication date: 1-May-2021.
  143. Nezafati M, Taki M and Svensson T (2021). MSE minimized joint transmission in coordinated multipoint systems with sparse feedback and constrained backhaul requirements, EURASIP Journal on Wireless Communications and Networking, 2021:1, Online publication date: 23-Apr-2021.
  144. Wang Y, Tanaka A and Yoshise A (2021). Polyhedral approximations of the semidefinite cone and their application, Computational Optimization and Applications, 78:3, (893-913), Online publication date: 1-Apr-2021.
  145. Fiorini S, Macchia M and Pashkovich K (2021). Bounds on the Number of 2-Level Polytopes, Cones, and Configurations, Discrete & Computational Geometry, 65:3, (587-600), Online publication date: 1-Apr-2021.
  146. Chen X and Jiang M Enhanced Bayesian MMSE channel estimation for visible light communication 2016 IEEE 27th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), (1-6)
  147. Akhtar N, Matta I, Raza A, Goratti L, Braun T and Esposito F (2021). Managing Chains of Application Functions Over Multi-Technology Edge Networks, IEEE Transactions on Network and Service Management, 18:1, (511-525), Online publication date: 1-Mar-2021.
  148. Panda S (2021). Spectral Efficiency Optimization of Massive MIMO System Under Channel Varying Conditions, Wireless Personal Communications: An International Journal, 117:2, (1319-1335), Online publication date: 1-Mar-2021.
  149. Lin J, Arul J and Kao J (2021). A Bottom-Up Tree Based Storage Approach for Efficient IoT Data Analytics in Cloud Systems, Journal of Grid Computing, 19:1, Online publication date: 1-Mar-2021.
  150. Yang G, Dai R and Liang Y (2021). Energy-Efficient UAV Backscatter Communication With Joint Trajectory Design and Resource Optimization, IEEE Transactions on Wireless Communications, 20:2, (926-941), Online publication date: 1-Feb-2021.
  151. Yuan Y, Li Y and Shi W (2019). Detecting multiphase linear ranking functions for single-path linear-constraint loops, International Journal on Software Tools for Technology Transfer (STTT), 23:1, (55-67), Online publication date: 1-Feb-2021.
  152. Cslovjecsek J, Eisenbrand F, Hunkenschröder C, Rohwedder L and Weismantel R Block-structured integer and linear programming in strongly polynomial and near linear time Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, (1666-1681)
  153. ACM
    Courant N and Leroy X (2021). Verified code generation for the polyhedral model, Proceedings of the ACM on Programming Languages, 5:POPL, (1-24), Online publication date: 4-Jan-2021.
  154. ACM
    Yang C, Atkinson E and Carbin M (2021). Simplifying dependent reductions in the polyhedral model, Proceedings of the ACM on Programming Languages, 5:POPL, (1-33), Online publication date: 4-Jan-2021.
  155. Basu A, Ryan C and Sankaranarayanan S (2019). Mixed-integer bilevel representability, Mathematical Programming: Series A and B, 185:1-2, (163-197), Online publication date: 1-Jan-2021.
  156. Kao M (2020). Iterative Partial Rounding for Vertex Cover with Hard Capacities, Algorithmica, 83:1, (45-71), Online publication date: 1-Jan-2021.
  157. ACM
    Acharya A, Bondhugula U and Cohen A (2020). Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs, ACM Transactions on Architecture and Code Optimization, 17:4, (1-26), Online publication date: 31-Dec-2021.
  158. Chang W and Tandon R MAC Aware Quantization for Distributed Gradient Descent GLOBECOM 2020 - 2020 IEEE Global Communications Conference, (1-6)
  159. Draelos A and Pearson J Online neural connectivity estimation with noisy group testing Proceedings of the 34th International Conference on Neural Information Processing Systems, (7437-7448)
  160. Ito S, Hatano D, Sumita H, Takemura K, Fukunaga T, Kakimura N and Kawarabayashi K Delay and cooperation in nonstochastic linear bandits Proceedings of the 34th International Conference on Neural Information Processing Systems, (4872-4883)
  161. van den Boom T, Muijsenberg M and De Schutter B (2020). Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs, Discrete Event Dynamic Systems, 30:4, (635-669), Online publication date: 1-Dec-2020.
  162. Li Y, Wu W and Feng Y (2019). On ranking functions for single-path linear-constraint loops, International Journal on Software Tools for Technology Transfer (STTT), 22:6, (655-666), Online publication date: 1-Dec-2020.
  163. ACM
    Goemans M and Rothvoss T (2020). Polynomiality for Bin Packing with a Constant Number of Item Types, Journal of the ACM, 67:6, (1-21), Online publication date: 16-Nov-2020.
  164. Hladík M and Černý M Weak and Strong Consistency of an Interval Comparison Matrix Integrated Uncertainty in Knowledge Modelling and Decision Making, (15-25)
  165. Rossi M and Terracini L (2020). Toric varieties and Gröbner bases: the complete -factorial case, Applicable Algebra in Engineering, Communication and Computing, 31:5-6, (461-482), Online publication date: 1-Nov-2020.
  166. Farsa D and Rahnamayan S Discrete Coordinate Descent (DCD) 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), (184-190)
  167. Byeon G, Van Hentenryck P, Bent R and Nagarajan H (2020). Communication-Constrained Expansion Planning for Resilient Distribution Systems, INFORMS Journal on Computing, 32:4, (968-985), Online publication date: 1-Oct-2020.
  168. Lange J and Andres B On the Lifted Multicut Polytope for Trees Pattern Recognition, (360-372)
  169. Jing R, Moreno-Maza M and Talaashrafi D Complexity Estimates for Fourier-Motzkin Elimination Computer Algebra in Scientific Computing, (282-306)
  170. Dlask T and Werner T Bounding Linear Programs by Constraint Propagation: Application to Max-SAT Principles and Practice of Constraint Programming, (177-193)
  171. Kahl K and Kintscher N (2020). Automated local Fourier analysis (aLFA), BIT, 60:3, (651-686), Online publication date: 1-Sep-2020.
  172. Kohl F, Olsen M and Sanyal R (2020). Unconditional Reflexive Polytopes, Discrete & Computational Geometry, 64:2, (427-452), Online publication date: 1-Sep-2020.
  173. Rahimi A, Shaban A, Ajanthan T, Hartley R and Boots B Pairwise Similarity Knowledge Transfer for Weakly Supervised Object Localization Computer Vision – ECCV 2020, (395-412)
  174. Fu B, Gu P and Zhao Y Polyhedral Circuits and Their Applications Algorithmic Aspects in Information and Management, (13-24)
  175. ACM
    Shir O Introductory mathematical programming for EC Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion, (547-560)
  176. Park Y and Klabjan D (2020). Subset selection for multiple linear regression via optimization , Journal of Global Optimization, 77:3, (543-574), Online publication date: 1-Jul-2020.
  177. André É, Tan T, Chen M, Liu S, Sun J, Liu Y and Dong J (2020). Automated synthesis of local time requirement for service composition, Software and Systems Modeling (SoSyM), 19:4, (983-1013), Online publication date: 1-Jul-2020.
  178. Allamigeon X, Katz R and Strub P Formalizing the Face Lattice of Polyhedra Automated Reasoning, (185-203)
  179. Denisov V, Fahland D and van der Aalst W Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources Application and Theory of Petri Nets and Concurrency, (239-259)
  180. Aliev I, Averkov G, De Loera J and Oertel T Optimizing Sparsity over Lattices and Semigroups Integer Programming and Combinatorial Optimization, (40-51)
  181. Rodríguez-Heck E, Stickler K, Walter M and Weltge S Persistency of Linear Programming Relaxations for the Stable Set Problem Integer Programming and Combinatorial Optimization, (351-363)
  182. Paat J, Schlöter M and Weismantel R The Integrality Number of an Integer Program Integer Programming and Combinatorial Optimization, (338-350)
  183. Mladenović M, Delot T, Laporte G and Wilbaut C (2018). The parking allocation problem for connected vehicles, Journal of Heuristics, 26:3, (377-399), Online publication date: 1-Jun-2020.
  184. Barbato M, Grappe R, Lacroix M and Lancini E On k-edge-connected Polyhedra: Box-TDIness in Series-Parallel Graphs Combinatorial Optimization, (27-41)
  185. Lee J, Paat J, Stallknecht I and Xu L Improving Proximity Bounds Using Sparsity Combinatorial Optimization, (115-127)
  186. García-Marco I, Koiran P and Pecatte T (2020). Reconstruction algorithms for sums of affine powers, Journal of Symbolic Computation, 98:C, (284-318), Online publication date: 1-May-2020.
  187. Chen X, Ding G, Zang W and Zhao Q (2020). Ranking tournaments with no errors II, Journal of Combinatorial Theory Series B, 142:C, (244-275), Online publication date: 1-May-2020.
  188. Xiao H (2020). On ideal semicomplete digraphs, Information Processing Letters, 157:C, Online publication date: 1-May-2020.
  189. Dash S, Günlük O and Morán R. D (2019). Lattice closures of polyhedra, Mathematical Programming: Series A and B, 181:1, (119-147), Online publication date: 1-May-2020.
  190. Bredereck R, Faliszewski P, Niedermeier R, Skowron P and Talmon N (2020). Mixed integer programming with convex/concave constraints, Theoretical Computer Science, 814:C, (86-105), Online publication date: 24-Apr-2020.
  191. Al-Darrab A, Al-Darrab I and Rushdi A (2020). Software-Defined Networking load distribution technique for an internet service provider, Journal of Network and Computer Applications, 155:C, Online publication date: 1-Apr-2020.
  192. ACM
    Hildebrand M, Khan J, Trika S, Lowe-Power J and Akella V AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (875-890)
  193. ACM
    Achour S and Rinard M Noise-Aware Dynamical System Compilation for Analog Devices with Legno Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (149-166)
  194. Guo T and Yeung R (2020). The Explicit Coding Rate Region of Symmetric Multilevel Diversity Coding, IEEE Transactions on Information Theory, 66:2, (1053-1077), Online publication date: 1-Feb-2020.
  195. Ozkok B (2022). An iterative algorithm to solve a linear fractional programming problem, Computers and Industrial Engineering, 140:C, Online publication date: 1-Feb-2020.
  196. Ermel D and Walter M (2020). Parity polytopes and binarization, Discrete Applied Mathematics, 272:C, (24-30), Online publication date: 15-Jan-2020.
  197. Subramanya T, Harutyunyan D and Riggio R (2020). Machine learning-driven service function chain placement and scaling in MEC-enabled 5G networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, 166:C, Online publication date: 15-Jan-2020.
  198. Salman M and Varanasi M (2019). Capacity Results for Classes of Partially Ordered $K$ -User Broadcast Channels With Two Nested Multicast Messages, IEEE Transactions on Information Theory, 66:1, (65-81), Online publication date: 1-Jan-2020.
  199. Hu Y, Zhou H, de Laat C and Zhao Z (2022). Concurrent container scheduling on heterogeneous clusters with multi-resource constraints, Future Generation Computer Systems, 102:C, (562-573), Online publication date: 1-Jan-2020.
  200. Paes Leme R and Wong S (2018). Computing Walrasian equilibria: fast algorithms and structural properties, Mathematical Programming: Series A and B, 179:1-2, (343-384), Online publication date: 1-Jan-2020.
  201. Paat J, Weismantel R and Weltge S (2018). Distances between optimal solutions of mixed-integer programs, Mathematical Programming: Series A and B, 179:1-2, (455-468), Online publication date: 1-Jan-2020.
  202. Cornuéjols G, Lee D and Li Y (2018). On the Rational Polytopes with Chvátal Rank 1, Mathematical Programming: Series A and B, 179:1-2, (21-46), Online publication date: 1-Jan-2020.
  203. ACM
    Chatterjee K, Fu H and Goharshady A (2019). Non-polynomial Worst-Case Analysis of Recursive Programs, ACM Transactions on Programming Languages and Systems, 41:4, (1-52), Online publication date: 31-Dec-2020.
  204. Meng P, Tian C and Cheng X (2019). Publicly verifiable and efficiency/security-adjustable outsourcing scheme for solving large-scale modular system of linear equations, Journal of Cloud Computing: Advances, Systems and Applications, 8:1, Online publication date: 27-Dec-2019.
  205. Ito S, Hatano D, Sumita H, Takemura K, Fukunaga T, Kakimura N and Kawarabayashi K Oracle-efficient algorithms for online linear optimization with bandit feedback Proceedings of the 33rd International Conference on Neural Information Processing Systems, (10590-10599)
  206. Cardoso A, Wang H and Xu H Large scale Markov decision processes with changing rewards Proceedings of the 33rd International Conference on Neural Information Processing Systems, (2340-2350)
  207. ACM
    Baader F (2019). Expressive cardinality restrictions on concepts in a description logic with expressive number restrictions, ACM SIGAPP Applied Computing Review, 19:3, (5-17), Online publication date: 8-Nov-2019.
  208. Yang H, Cheng Z and Chen L (2019). Reranking optimization for person re-identification under temporal-spatial information and common network consistency constraints, Pattern Recognition Letters, 127:C, (146-155), Online publication date: 1-Nov-2019.
  209. Kim J, Tawarmalani M and Richard J (2019). On cutting planes for cardinality-constrained linear programs, Mathematical Programming: Series A and B, 178:1-2, (417-448), Online publication date: 1-Nov-2019.
  210. ACM
    Borralleras C, Larraz D, Rodríguez-Carbonell E, Oliveras A and Rubio A (2019). Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers, ACM Transactions on Computational Logic, 20:4, (1-36), Online publication date: 31-Oct-2019.
  211. Fluri C, Ruch C, Zilly J, Hakenberg J and Frazzoli E Learning to Operate a Fleet of Cars 2019 IEEE Intelligent Transportation Systems Conference (ITSC), (2292-2298)
  212. Guo L, Li M and Xu D (2019). Efficient approximation algorithms for maximum coverage with group budget constraints, Theoretical Computer Science, 788:C, (53-65), Online publication date: 8-Oct-2019.
  213. Dai H, Izatt G and Tedrake R (2020). Global inverse kinematics via mixed-integer convex optimization, International Journal of Robotics Research, 38:12-13, (1420-1441), Online publication date: 1-Oct-2019.
  214. Kochol M (2019). Interpretations of the Tutte polynomials of regular matroids, Advances in Applied Mathematics, 111:C, Online publication date: 1-Oct-2019.
  215. Mohammadi S, PourKarimi L and Pedram H (2019). Integer linear programming-based multi-objective scheduling for scientific workflows in multi-cloud environments, The Journal of Supercomputing, 75:10, (6683-6709), Online publication date: 1-Oct-2019.
  216. AlHassoun Y, Alotaibi F, Gamal A and Gamal H Efficient Coded Caching with Limited Memory 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton), (268-275)
  217. Hartisch M and Lorenz U Mastering Uncertainty: Towards Robust Multistage Optimization with Decision Dependent Uncertainty PRICAI 2019: Trends in Artificial Intelligence, (446-458)
  218. Fujishige S (2019). A note on submodular function minimization by Chubanov’s LP algorithm, Discrete Optimization, 33:C, (140-145), Online publication date: 1-Aug-2019.
  219. Andreatta G, De Francesco C, De Giovanni L and Serafini P (2019). Star partitions on graphs, Discrete Optimization, 33:C, (1-18), Online publication date: 1-Aug-2019.
  220. Allamigeon X and Katz R (2019). A Formalization of Convex Polyhedra Based on the Simplex Method, Journal of Automated Reasoning, 63:2, (323-345), Online publication date: 1-Aug-2019.
  221. Lira V, Tavares E, Oliveira M, Sousa E and Nogueira B (2019). Virtual network mapping considering energy consumption and availability, Computing, 101:8, (937-967), Online publication date: 1-Aug-2019.
  222. ACM
    Yang X, Li Y, Wang H, Wu D, Tan Q, Xu J and Gai K Bid Optimization by Multivariable Control in Display Advertising Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, (1966-1974)
  223. Das Gupta S and Pavel L (2019). On seeking efficient Pareto optimal points in multi-player minimum cost flow problems with application to transportation systems, Journal of Global Optimization, 74:3, (523-548), Online publication date: 1-Jul-2019.
  224. Subramani K and Wojciechowki P (2019). A Polynomial Time Algorithm for Read-Once Certification of Linear Infeasibility in UTVPI Constraints, Algorithmica, 81:7, (2765-2794), Online publication date: 1-Jul-2019.
  225. ACM
    Lago U and Grellois C (2019). Probabilistic Termination by Monadic Affine Sized Typing, ACM Transactions on Programming Languages and Systems, 41:2, (1-65), Online publication date: 30-Jun-2019.
  226. ACM
    Konstantinidis G and Mogavero F Attacking Diophantus Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (399-413)
  227. Guépin F, Haase C and Worrell J On the existential theories of Büchi arithmetic and linear p-adic fields Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-10)
  228. ACM
    Tang H, Cui Y, Wu J, Yang X and Yang Z Trigger relationship aware mobile traffic classification Proceedings of the International Symposium on Quality of Service, (1-10)
  229. Lime D, Roux O and Seidner C Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets Application and Theory of Petri Nets and Concurrency, (406-425)
  230. ACM
    Bredereck R, Kaczmarczyk A, Knop D and Niedermeier R High-Multiplicity Fair Allocation Proceedings of the 2019 ACM Conference on Economics and Computation, (505-523)
  231. Poirion P (2019). Optimal constraints aggregation method for ILP, Discrete Applied Mathematics, 262:C, (148-157), Online publication date: 15-Jun-2019.
  232. Pinto L, Fernandes K, Cardoso K and Maculan N (2019). An exact and polynomial approach for a bi-objective integer programming problem regarding network flow routing, Computers and Operations Research, 106:C, (28-35), Online publication date: 1-Jun-2019.
  233. Zick Y, Chalkiadakis G, Elkind E and Markakis E (2019). Cooperative games with overlapping coalitions, Artificial Intelligence, 271:C, (74-97), Online publication date: 1-Jun-2019.
  234. Kellner K, Pfetsch M and Theobald T (2019). Irreducible Infeasible Subsystems of Semidefinite Systems, Journal of Optimization Theory and Applications, 181:3, (727-742), Online publication date: 1-Jun-2019.
  235. ACM
    Jing R and Maza M (2019). Computing the integer points of a polyhedron, ACM Communications in Computer Algebra, 52:4, (126-129), Online publication date: 30-May-2019.
  236. Gleixner A and Steffy D Linear Programming Using Limited-Precision Oracles Integer Programming and Combinatorial Optimization, (399-412)
  237. Zhang H, Di B, Bian K and Song L (2019). IoT-U, IEEE Transactions on Wireless Communications, 18:5, (2477-2492), Online publication date: 1-May-2019.
  238. Kelk S and Stamoulis G (2019). Integrality gaps for colorful matchings, Discrete Optimization, 32:C, (73-92), Online publication date: 1-May-2019.
  239. Hojny C and Pfetsch M (2019). Polytopes associated with symmetry handling, Mathematical Programming: Series A and B, 175:1-2, (197-240), Online publication date: 1-May-2019.
  240. Moriguchi S, Murota K, Tamura A and Tardella F (2019). Scaling, proximity, and optimization of integrally convex functions, Mathematical Programming: Series A and B, 175:1-2, (119-154), Online publication date: 1-May-2019.
  241. Subramani K and Wojciechowski P Read-Once Certification of Linear Infeasibility in UTVPI Constraints Theory and Applications of Models of Computation, (578-593)
  242. Wikarek J and Sitek P A Data-Driven Approach to Modeling and Solving Academic Teachers’ Competences Configuration Problem Intelligent Information and Database Systems, (408-419)
  243. Blicha M, Hyvärinen A, Kofroň J and Sharygina N Decomposing Farkas Interpolants Tools and Algorithms for the Construction and Analysis of Systems, (3-20)
  244. Tjandraatmadja C and van Hoeve W (2019). Target Cuts from Relaxed Decision Diagrams, INFORMS Journal on Computing, 31:2, (285-301), Online publication date: 1-Apr-2019.
  245. Chirkov A, Gribanov D, Malyshev D, Pardalos P, Veselov S and Zolotykh N (2019). On the complexity of quasiconvex integer minimization problem, Journal of Global Optimization, 73:4, (761-788), Online publication date: 1-Apr-2019.
  246. Schröter B (2019). Multi-splits and Tropical Linear Spaces from Nested Matroids, Discrete & Computational Geometry, 61:3, (661-685), Online publication date: 1-Apr-2019.
  247. ACM
    Akutsu T and Nagamochi H A Mixed Integer Linear Programming Formulation to Artificial Neural Networks Proceedings of the 2nd International Conference on Information Science and Systems, (215-220)
  248. Neumann C, Stein O and Sudermann-Merx N (2019). A feasible rounding approach for mixed-integer optimization problems, Computational Optimization and Applications, 72:2, (309-337), Online publication date: 1-Mar-2019.
  249. Tamori T and Kimura K A Fast Algorithm for Unbounded Monotone Integer Linear Systems with Two Variables per Inequality via Graph Decomposition WALCOM: Algorithms and Computation, (209-218)
  250. Ray B, Saha A, Khatua S and Roy S (2019). Toward maximization of profit and quality of cloud federation, The Journal of Supercomputing, 75:2, (885-929), Online publication date: 1-Feb-2019.
  251. Yu X, Zhou X and Zhang Y (2019). Collision-Free Trajectory Generation and Tracking for UAVs Using Markov Decision Process in a Cluttered Environment, Journal of Intelligent and Robotic Systems, 93:1-2, (17-32), Online publication date: 1-Feb-2019.
  252. Hibi T and Tsuchiya A (2019). Reflexive polytopes arising from partially ordered sets and perfect graphs, Journal of Algebraic Combinatorics: An International Journal, 49:1, (69-81), Online publication date: 1-Feb-2019.
  253. Rahman H, Roy S, Thirumuruganathan S, Amer-Yahia S and Das G (2019). Optimized group formation for solving collaborative tasks, The VLDB Journal — The International Journal on Very Large Data Bases, 28:1, (1-23), Online publication date: 1-Feb-2019.
  254. Diakonikolas I and Pavlou C On the complexity of the inverse semivalue problem for weighted voting games Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, (1869-1876)
  255. Keller O, Hassidim A and Hazon N (2019). New approximations for coalitional manipulation in scoring rules, Journal of Artificial Intelligence Research, 64:1, (109-145), Online publication date: 1-Jan-2019.
  256. Borgwardt S and Happach F (2019). Good Clusterings Have Large Volume, Operations Research, 67:1, (215-231), Online publication date: 1-Jan-2019.
  257. Baardman L, Cohen M, Panchamgam K, Perakis G and Segev D (2019). Scheduling Promotion Vehicles to Boost Profits, Management Science, 65:1, (50-70), Online publication date: 1-Jan-2019.
  258. Braun G, Pokutta S and Zink D (2019). Affine reductions for LPs and SDPs, Mathematical Programming: Series A and B, 173:1-2, (281-312), Online publication date: 1-Jan-2019.
  259. Range T and Østerdal L (2019). First-order dominance, Mathematical Programming: Series A and B, 173:1-2, (193-219), Online publication date: 1-Jan-2019.
  260. Ito T, Kakimura N, Kamiyama N, Kobayashi Y and Okamoto Y (2019). Minimum-Cost b-Edge Dominating Sets on Trees, Algorithmica, 81:1, (343-366), Online publication date: 1-Jan-2019.
  261. ACM
    Kronawitter S and Lengauer C (2018). Polyhedral Search Space Exploration in the ExaStencils Code Generator, ACM Transactions on Architecture and Code Optimization, 15:4, (1-25), Online publication date: 31-Dec-2019.
  262. Anderson J and Murray R Structured Feedback Optimization for Metzler Dynamics 2018 IEEE Conference on Decision and Control (CDC), (4417-4424)
  263. Zhang Z, Su S, Liu X, Guo Y and Zhang J Efficient Multi-Pair Active Friending in Online Social Networks 2018 IEEE Global Communications Conference (GLOBECOM), (1-6)
  264. Samadi S, Tantipongpipat U, Morgenstern J, Singh M and Vempala S The price of fair PCA Proceedings of the 32nd International Conference on Neural Information Processing Systems, (10999-11010)
  265. Lacombe T, Cuturi M and Oudot S Large scale computation of means and clusters for persistence diagrams using optimal transport Proceedings of the 32nd International Conference on Neural Information Processing Systems, (9792-9802)
  266. Li W, Mao J, Zhang Y and Cui S Fast similarity search via optimal sparse lifting Proceedings of the 32nd International Conference on Neural Information Processing Systems, (176-184)
  267. Spinnewyn B, Isolani P, Donato C, Botero J and Latré S (2018). Coordinated Service Composition and Embedding of 5G Location-Constrained Network Functions, IEEE Transactions on Network and Service Management, 15:4, (1488-1502), Online publication date: 1-Dec-2018.
  268. Zhao P and Dán G (2018). A Benders Decomposition Approach for Resilient Placement of Virtual Process Control Functions in Mobile Edge Clouds, IEEE Transactions on Network and Service Management, 15:4, (1460-1472), Online publication date: 1-Dec-2018.
  269. Papenhausen E and Mueller K (2018). Coding Ants, Computer Languages, Systems and Structures, 54:C, (119-138), Online publication date: 1-Dec-2018.
  270. Mészáros A (2018). Note a Note on Disjoint Dijoins, Combinatorica, 38:6, (1485-1488), Online publication date: 1-Dec-2018.
  271. ACM
    Gopalan P, Nisan N and Roughgarden T (2018). Public Projects, Boolean Functions, and the Borders of Border’s Theorem, ACM Transactions on Economics and Computation, 6:3-4, (1-21), Online publication date: 26-Nov-2018.
  272. ACM
    Makarychev K and Sviridenko M (2018). Solving Optimization Problems with Diseconomies of Scale via Decoupling, Journal of the ACM, 65:6, (1-27), Online publication date: 26-Nov-2018.
  273. Bany Salameh H, Almajali S, Ayyash M and Elgala H (2018). Batch‐based security‐aware spectrum sharing with simultaneous assignment decisions in time‐critical IoT networks with cognitive radio capabilities, Transactions on Emerging Telecommunications Technologies, 29:11, Online publication date: 13-Nov-2018.
  274. Del Pia A (2018). On approximation algorithms for concave mixed-integer quadratic programming, Mathematical Programming: Series A and B, 172:1-2, (3-16), Online publication date: 1-Nov-2018.
  275. Del Pia A and Poskin J (2018). Ellipsoidal mixed-integer representability, Mathematical Programming: Series A and B, 172:1-2, (351-369), Online publication date: 1-Nov-2018.
  276. Koutaki G, Shirai K and Ambai M (2018). Hadamard Coding for Supervised Discrete Hashing, IEEE Transactions on Image Processing, 27:11, (5378-5392), Online publication date: 1-Nov-2018.
  277. Ma W, McAreavey K, Liu W and Luo X (2018). Acceptable costs of minimax regret equilibrium, Expert Systems with Applications: An International Journal, 108:C, (206-222), Online publication date: 15-Oct-2018.
  278. Taleb T (2018). Second Edition of the IEEE JSAC Series on Network Softwarization & Enablers, IEEE Journal on Selected Areas in Communications, 36:10, (2155-2157), Online publication date: 1-Oct-2018.
  279. Sun C, Bi J, Meng Z, Yang T, Zhang X and Hu H (2018). Enabling NFV Elasticity Control With Optimized Flow Migration, IEEE Journal on Selected Areas in Communications, 36:10, (2288-2303), Online publication date: 1-Oct-2018.
  280. Jalaian B, Yuan X, Shi Y, Hou Y, Lou W, Midkiff S and Dasari V (2018). On the integration of SIC and MIMO DoF for interference cancellation in wireless networks, Wireless Networks, 24:7, (2357-2374), Online publication date: 1-Oct-2018.
  281. Amjad M and Zhang J Gscheduler: A Query Scheduler Based on Query Interactions Web Information Systems and Applications, (395-403)
  282. Ferreira C and Franco Á (2018). A min–max relation in flowgraphs and some applications, Discrete Applied Mathematics, 245:C, (65-76), Online publication date: 20-Aug-2018.
  283. Bärmann A, Gellermann T, Merkert M and Schneider O (2018). Staircase compatibility and its applications in scheduling and piecewise linearization, Discrete Optimization, 29:C, (111-132), Online publication date: 1-Aug-2018.
  284. ACM
    Haase C (2018). A survival guide to presburger arithmetic, ACM SIGLOG News, 5:3, (67-82), Online publication date: 26-Jul-2018.
  285. Chen Z, Chen D, Wang X, Damiano R, Meng H and Xu J (2018). Novel geometric approach for virtual coiling, Theoretical Computer Science, 734:C, (3-14), Online publication date: 22-Jul-2018.
  286. Narayanaswamy N, Dhannya S and Ramya C Minimum Membership Hitting Sets of Axis Parallel Segments Computing and Combinatorics, (638-649)
  287. Dash S, Günlük O and Hildebrand R (2018). Binary extended formulations of polyhedral mixed-integer sets, Mathematical Programming: Series A and B, 170:1, (207-236), Online publication date: 1-Jul-2018.
  288. Ehrenborg R, Hetyei G and Readdy M (2018). Simion's Type B Associahedron is a Pulling Triangulation of the Legendre Polytope, Discrete & Computational Geometry, 60:1, (98-114), Online publication date: 1-Jul-2018.
  289. Campi S, Gritzmann P and Gronchi P (2018). On the Reverse Loomis---Whitney Inequality, Discrete & Computational Geometry, 60:1, (115-144), Online publication date: 1-Jul-2018.
  290. ACM
    Chatterjee K, Fu H, Novotný P and Hasheminezhad R (2018). Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs, ACM Transactions on Programming Languages and Systems, 40:2, (1-45), Online publication date: 30-Jun-2018.
  291. ACM
    Grochow J and Wolpert D (2018). Beyond Number of Bit Erasures, ACM SIGACT News, 49:2, (33-56), Online publication date: 13-Jun-2018.
  292. Brauer C, Lorenz D and Tillmann A (2018). A primal-dual homotopy algorithm for $$\ell _{1}$$ℓ1-minimization with $$\ell _{\infty }$$ℓź-constraints, Computational Optimization and Applications, 70:2, (443-478), Online publication date: 1-Jun-2018.
  293. Bader J, Hildebrand R, Weismantel R and Zenklusen R (2018). Mixed integer reformulations of integer programs and the affine TU-dimension of a matrix, Mathematical Programming: Series A and B, 169:2, (565-584), Online publication date: 1-Jun-2018.
  294. ACM
    Ngo H Worst-Case Optimal Join Algorithms Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (111-124)
  295. Singh A and Srivastava S (2018). A survey and classification of controller placement problem in SDN, International Journal of Network Management, 28:3, Online publication date: 16-May-2018.
  296. Bouafia M, Benterki D and Yassine A (2018). A new efficient short-step projective interior point method for linear programming, Operations Research Letters, 46:3, (291-294), Online publication date: 1-May-2018.
  297. Xu G and Burer S (2018). A copositive approach for two-stage adjustable robust optimization with uncertain right-hand sides, Computational Optimization and Applications, 70:1, (33-59), Online publication date: 1-May-2018.
  298. Sitek P and Wikarek J (2018). A multi-level approach to ubiquitous modeling and solving constraints in combinatorial optimization problems in production and distribution, Applied Intelligence, 48:5, (1344-1367), Online publication date: 1-May-2018.
  299. Krolikowski J, Giovanidis A and Di Renzo M Optimal Cache Leasing from a Mobile Network Operator to a Content Provider IEEE INFOCOM 2018 - IEEE Conference on Computer Communications, (2744-2752)
  300. Lucas S and Gutiérrez R (2018). Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories, Journal of Automated Reasoning, 60:4, (465-501), Online publication date: 1-Apr-2018.
  301. Cornujols G and Li Y (2018). When the GomoryChvtal closure coincides with the integer hull, Operations Research Letters, 46:2, (251-256), Online publication date: 1-Mar-2018.
  302. Günther U, Hess W, Horn B and Lüthen H (2018). A holistic topology and shape optimization approach with an application to steel profiles, Structural and Multidisciplinary Optimization, 57:3, (1267-1281), Online publication date: 1-Mar-2018.
  303. Chu H, Yang S, Pillai P and Chen Y Scheduling in visual fog computing: NP-completeness and practical efficient solutions Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence, (6127-6135)
  304. Peters D Single-peakedness and total unimodularity Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence, (1169-1176)
  305. Devanur N, Garg J, Mehta R, Vazirani V and Yazdanbod S A new class of combinatorial markets with covering constraints Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, (2311-2325)
  306. Eisenbrand F and Weismantel R Proximity results and faster algorithms for integer programming using the steinitz lemma Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, (808-816)
  307. Cevallos A, Weltge S and Zenklusen R Lifting linear extension complexity bounds to the mixed-integer setting Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, (788-807)
  308. ACM
    Jing R and Maza M (2018). The polyhedra library in maple, ACM Communications in Computer Algebra, 51:3, (86-88), Online publication date: 4-Jan-2018.
  309. ACM
    Ta Q, Le T, Khoo S and Chin W (2017). Automated lemma synthesis in symbolic-heap separation logic, Proceedings of the ACM on Programming Languages, 2:POPL, (1-29), Online publication date: 1-Jan-2018.
  310. Feng M, Liao J, Qing S, Li T and Wang J (2018). COVE, Journal of Network and Systems Management, 26:1, (79-107), Online publication date: 1-Jan-2018.
  311. Gao H, Zhang H, Li Z and Tu K (2018). Optimality analysis on partial $$l_1$$l1-minimization recovery, Journal of Global Optimization, 70:1, (159-170), Online publication date: 1-Jan-2018.
  312. Nguyen V and Weng P An Efficient Primal-Dual Algorithm for Fair Combinatorial Optimization Problems Combinatorial Optimization and Applications, (324-339)
  313. ACM
    Elbassioni K and Dumitrescu A (2017). Computational Geometry Column 66, ACM SIGACT News, 48:4, (57-74), Online publication date: 13-Dec-2017.
  314. Testa A, Rucco A and Notarstefano G A finite-time cutting plane algorithm for distributed mixed integer linear programming 2017 IEEE 56th Annual Conference on Decision and Control (CDC), (3847-3852)
  315. Miné A (2017). Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation, Foundations and Trends in Programming Languages, 4:3-4, (120-372), Online publication date: 5-Dec-2017.
  316. Salama A, Li M and Yang D Optimal Crowdsourced Channel Monitoring in Cognitive Radio Networks GLOBECOM 2017 - 2017 IEEE Global Communications Conference, (1-6)
  317. Jarray A, Karmouch A, Salazar J, Elias J, Mehaoua A and Zaman F (2017). Efficient resource allocation and dimensioning of media edge clouds infrastructure, Journal of Cloud Computing: Advances, Systems and Applications, 6:1, (1-16), Online publication date: 1-Dec-2017.
  318. Bromberger M and Weidenbach C (2017). New techniques for linear arithmetic, Formal Methods in System Design, 51:3, (433-461), Online publication date: 1-Dec-2017.
  319. ACM
    Benerecetti M and Faella M (2017). Automatic Synthesis of Switching Controllers for Linear Hybrid Systems, ACM Transactions on Embedded Computing Systems, 16:4, (1-27), Online publication date: 30-Nov-2017.
  320. ACM
    Kim Y, Choi J, Chong Y, Jiang X and Yu H DiagTree Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, (1179-1188)
  321. Plessen M, Lima P, Mårtensson J, Bemporad A and Wahlberg B Trajectory planning under vehicle dimension constraints using sequential linear programming 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), (1-6)
  322. Gerard Y (2017). About the Decidability of Polyhedral Separability in the Lattice $$\mathbb {Z}^d$$Zd, Journal of Mathematical Imaging and Vision, 59:1, (52-68), Online publication date: 1-Sep-2017.
  323. ACM
    D'aronco S, Mena S and Frossard P (2017). Distributed Rate Allocation in Switch-Based Multiparty Videoconferencing System, ACM Transactions on Multimedia Computing, Communications, and Applications, 13:3s, (1-23), Online publication date: 31-Aug-2017.
  324. Dvořák P, Eiben E, Ganian R, Knop D and Ordyniak S Solving integer linear programs with a small number of global variables and constraints Proceedings of the 26th International Joint Conference on Artificial Intelligence, (607-613)
  325. Zhang N, Yao Z, Liu Y, Boyd S and Luo Z (2017). Dynamic Resource Allocation for Energy Efficient Transmission in Digital Subscriber Lines, IEEE Transactions on Signal Processing, 65:16, (4353-4366), Online publication date: 15-Aug-2017.
  326. ACM
    Ristovski K, Gupta C, Harada K and Tang H Dispatch with Confidence Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, (1981-1989)
  327. ACM
    García-Marco I, Koiran P and Pecatte T Reconstruction Algorithms for Sums of Affine Powers Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, (317-324)
  328. Nguyen D and Pak I The computational complexity of integer programming with alternations Proceedings of the 32nd Computational Complexity Conference, (1-18)
  329. Mehrabi A and Kim K (2017). General Framework for Network Throughput Maximization in Sink-Based Energy Harvesting Wireless Sensor Networks, IEEE Transactions on Mobile Computing, 16:7, (1881-1896), Online publication date: 1-Jul-2017.
  330. Bui N, Cesana M, Hosseini S, Liao Q, Malanchini I and Widmer J (2017). A Survey of Anticipatory Mobile Networking: Context-Based Classification, Prediction Methodologies, and Optimization Techniques, IEEE Communications Surveys & Tutorials, 19:3, (1790-1821), Online publication date: 1-Jul-2017.
  331. Eisenbrand F and Vempala S (2017). Geometric random edge, Mathematical Programming: Series A and B, 164:1-2, (325-339), Online publication date: 1-Jul-2017.
  332. Lago U, Gavazzo F and Levy P Effectful applicative bisimilarity Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, (1-12)
  333. Hofman P, Leroux J and Totzke P Linear combinations of unordered data vectors Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, (1-11)
  334. ACM
    Kleer P and Schäfer G Potential Function Minimizers of Combinatorial Congestion Games Proceedings of the 2017 ACM Conference on Economics and Computation, (223-240)
  335. ACM
    Artmann S, Weismantel R and Zenklusen R A strongly polynomial algorithm for bimodular integer linear programming Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, (1206-1219)
  336. Lukot'ka R and Rollová E (2017). Perfect Matchings of Regular Bipartite Graphs, Journal of Graph Theory, 85:2, (525-532), Online publication date: 1-Jun-2017.
  337. Soualah O, Mechtri M, Ghribi C and Zeghlache D Energy Efficient Algorithm for VNF Placement and Chaining Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, (579-588)
  338. Agra A, Dahl G, Haufmann T and Pinheiro S (2017). The k-regular induced subgraph problem, Discrete Applied Mathematics, 222:C, (14-30), Online publication date: 11-May-2017.
  339. ACM
    Abo Khamis M, Ngo H and Suciu D What Do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog Have to Do with One Another? Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (429-444)
  340. Keller O, Hassidim A and Hazon N New Approximation for Borda Coalitional Manipulation Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, (606-614)
  341. Holzhauser M, Krumke S and Thielen C (2017). Maximum flows in generalized processing networks, Journal of Combinatorial Optimization, 33:4, (1226-1256), Online publication date: 1-May-2017.
  342. Subramani K and Wojciechowski P (2017). A Combinatorial Certifying Algorithm for Linear Feasibility in UTVPI Constraints, Algorithmica, 78:1, (166-208), Online publication date: 1-May-2017.
  343. ACM
    André É, Chatain T and Rodríguez C (2016). Preserving Partial-Order Runs in Parametric Time Petri Nets, ACM Transactions on Embedded Computing Systems, 16:2, (1-26), Online publication date: 14-Apr-2017.
  344. Rodríguez M and Vicente-Pérez J (2017). On Finite Linear Systems Containing Strict Inequalities, Journal of Optimization Theory and Applications, 173:1, (131-154), Online publication date: 1-Apr-2017.
  345. Wojciechowski P, Eirinakis P and Subramani K (2017). Erratum to, Annals of Mathematics and Artificial Intelligence, 79:4, (371-392), Online publication date: 1-Apr-2017.
  346. Magos D and Mourtos I (2017). Submodularity and its application to some global constraints, Annals of Mathematics and Artificial Intelligence, 79:4, (267-289), Online publication date: 1-Apr-2017.
  347. Calvo-Fullana M, Matamoros J and Anton-Haro C (2017). Reconstruction of Correlated Sources With Energy Harvesting Constraints in Delay-Constrained and Delay-Tolerant Communication Scenarios, IEEE Transactions on Wireless Communications, 16:3, (1974-1986), Online publication date: 1-Mar-2017.
  348. Bartl D and Dubey D (2017). A discrete variant of Farkas Lemma, Operations Research Letters, 45:2, (160-163), Online publication date: 1-Mar-2017.
  349. Wojciechowski P, Eirinakis P and Subramani K (2017). Analyzing restricted fragments of the theory of linear arithmetic, Annals of Mathematics and Artificial Intelligence, 79:1-3, (245-266), Online publication date: 1-Mar-2017.
  350. Pia A, Dey S and Molinaro M (2017). Mixed-integer quadratic programming is in NP, Mathematical Programming: Series A and B, 162:1-2, (225-240), Online publication date: 1-Mar-2017.
  351. Peters D and Lackner M Preferences single-peaked on a circle Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, (649-655)
  352. Finger M and Bona G Algorithms for deciding counting quantifiers over unary predicates Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, (3878-3884)
  353. Kalmár-Nagy T, Giardini G and Bak B (2017). The Multiagent Planning Problem, Complexity, 2017, (3), Online publication date: 1-Feb-2017.
  354. Kao M Iterative partial rounding for vertex cover with hard capacities Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, (2638-2653)
  355. Jansen K and Klein K About the structure of the integer cone and its application to bin packing Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, (1571-1581)
  356. Del Pia A, Ferris M and Michini C Totally unimodular congestion games Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, (577-588)
  357. Berkholz C and Grohe M Linear diophantine equations, group CSPs, and graph isomorphism Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, (327-339)
  358. Roy A and Pokutta S (2017). Hierarchical clustering via spreading metrics, The Journal of Machine Learning Research, 18:1, (3077-3111), Online publication date: 1-Jan-2017.
  359. Krishnamoorthy B (2017). Thinner is not always better, Operations Research Letters, 45:1, (77-83), Online publication date: 1-Jan-2017.
  360. Conde E (2017). A minimum expected regret model for the shortest path problem with solution-dependent probability distributions, Computers and Operations Research, 77:C, (11-19), Online publication date: 1-Jan-2017.
  361. Haddadi S (2017). Benders decomposition for set covering problems, Journal of Combinatorial Optimization, 33:1, (60-80), Online publication date: 1-Jan-2017.
  362. Feng M and Mao S Interference Management in Massive MIMO HetNets: A Nested Array Approach 2016 IEEE Global Communications Conference (GLOBECOM), (1-6)
  363. Jiang C, Gao L, Duan L and Huang J Exploiting Data Reuse in Mobile Crowdsensing 2016 IEEE Global Communications Conference (GLOBECOM), (1-6)
  364. Xu J, van den Boom T and De Schutter B (2016). Optimistic optimization for model predictive control of max-plus linear systems, Automatica (Journal of IFAC), 74:C, (16-22), Online publication date: 1-Dec-2016.
  365. Laud P and Pankova A Optimizing Secure Computation Programs with Private Conditionals Information and Communications Security, (418-430)
  366. ACM
    Xu K, Kim V, Huang Q, Mitra N and Kalogerakis E Data-driven shape analysis and processing SIGGRAPH ASIA 2016 Courses, (1-38)
  367. Reboredo H, Renna F, Calderbank R and Rodrigues M (2016). Bounds on the Number of Measurements for Reliable Compressive Classification, IEEE Transactions on Signal Processing, 64:22, (5778-5793), Online publication date: 15-Nov-2016.
  368. ACM
    Thapper J and Živný S (2016). The Complexity of Finite-Valued CSPs, Journal of the ACM, 63:4, (1-33), Online publication date: 8-Nov-2016.
  369. Afraimovich L, Katerov A and Prilutskii M (2016). Multi-index transportation problems with 1-nested structure, Automation and Remote Control, 77:11, (1894-1913), Online publication date: 1-Nov-2016.
  370. Ros A and Jimborean A (2016). A Hybrid Static-Dynamic Classification for Dual-Consistency Cache Coherence, IEEE Transactions on Parallel and Distributed Systems, 27:11, (3101-3115), Online publication date: 1-Nov-2016.
  371. Blasiak J (2016). What makes a $$\mathbf{D}_0$$D0 graph Schur positive?, Journal of Algebraic Combinatorics: An International Journal, 44:3, (677-727), Online publication date: 1-Nov-2016.
  372. ACM
    Chen C, Chester S, Srinivasan V, Wu K and Thomo A Group-Aware Weighted Bipartite B-Matching Proceedings of the 25th ACM International on Conference on Information and Knowledge Management, (459-468)
  373. Dutta T, Heath L, Kumar V and Marathe M (2016). Labeled cuts in graphs, Theoretical Computer Science, 648:C, (34-39), Online publication date: 4-Oct-2016.
  374. Zaitsev D (2016). Sequential composition of linear systems' clans, Information Sciences: an International Journal, 363:C, (292-307), Online publication date: 1-Oct-2016.
  375. Aissi H and Vanderpooten D (2016). Robust capacity expansion of a network under demand uncertainty, Networks, 68:3, (185-199), Online publication date: 1-Oct-2016.
  376. Chakraborty A, Das A and Roy-Chowdhury A (2016). Network Consistent Data Association, IEEE Transactions on Pattern Analysis and Machine Intelligence, 38:9, (1859-1871), Online publication date: 1-Sep-2016.
  377. Artmann S, Eisenbrand F, Glanzer C, Oertel T, Vempala S and Weismantel R (2016). A note on non-degenerate integer programs with small sub-determinants, Operations Research Letters, 44:5, (635-639), Online publication date: 1-Sep-2016.
  378. Kaibel V, Lee J, Walter M and Weltge S (2016). Extended Formulations for Independence Polytopes of Regular Matroids, Graphs and Combinatorics, 32:5, (1931-1944), Online publication date: 1-Sep-2016.
  379. Chirkov A and Zolotykh N (2016). On the Number of Irreducible Points in Polyhedra, Graphs and Combinatorics, 32:5, (1789-1803), Online publication date: 1-Sep-2016.
  380. Garrido-Jurado S, Muñoz-Salinas R, Madrid-Cuevas F and Marín-Jiménez M (2016). Simultaneous reconstruction and calibration for multi-view structured light scanning, Journal of Visual Communication and Image Representation, 39:C, (120-131), Online publication date: 1-Aug-2016.
  381. Averkov G and Langfeld B (2016). Homometry and Direct-Sum Decompositions of Lattice-Convex Sets, Discrete & Computational Geometry, 56:1, (216-249), Online publication date: 1-Jul-2016.
  382. Behrisch M, Hermann M, Mengel S and Salzer G The Next Whisky Bar Proceedings of the 11th International Computer Science Symposium on Computer Science --- Theory and Applications - Volume 9691, (41-56)
  383. Ujvári M (2016). On the Projection onto a Finitely Generated Cone, Acta Cybernetica, 22:3, (657-672), Online publication date: 1-Jun-2016.
  384. Nguyen N, Olaru S, Rodríguez-Ayerbe P, Bitsoris G and Hovd M (2016). Explicit robustness and fragility margins for linear discrete systems with piecewise affine control law, Automatica (Journal of IFAC), 68:C, (334-343), Online publication date: 1-Jun-2016.
  385. Dadush D, Végh L and Zambelli G Rescaled Coordinate Descent Methods for Linear Programming Proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimization - Volume 9682, (26-37)
  386. Del Pia A and Poskin J On the Mixed Binary Representability of Ellipsoidal Regions Proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimization - Volume 9682, (214-225)
  387. Del Pia A On Approximation Algorithms for Concave Mixed-Integer Quadratic Programming Proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimization - Volume 9682, (1-13)
  388. ACM
    D'Aronco S, Mena S and Frossard P Distributed rate allocation in switch-based multiparty videoconference Proceedings of the 7th International Conference on Multimedia Systems, (1-11)
  389. ACM
    Bondhugula U, Acharya A and Cohen A (2016). The Pluto+ Algorithm, ACM Transactions on Programming Languages and Systems, 38:3, (1-32), Online publication date: 2-May-2016.
  390. ACM
    Bhaskaracharya S, Bondhugula U and Cohen A (2016). Automatic Storage Optimization for Arrays, ACM Transactions on Programming Languages and Systems, 38:3, (1-23), Online publication date: 2-May-2016.
  391. ACM
    Bhaskaracharya S, Bondhugula U and Cohen A (2016). SMO: an integrated approach to intra-array and inter-array storage optimization, ACM SIGPLAN Notices, 51:1, (526-538), Online publication date: 8-Apr-2016.
  392. Thakor S, Grant A and Chan T (2016). Cut-Set Bounds on Network Information Flow, IEEE Transactions on Information Theory, 62:4, (1850-1865), Online publication date: 1-Apr-2016.
  393. ACM
    Darte A, Isoard A and Yuki T Extended lattice-based memory allocation Proceedings of the 25th International Conference on Compiler Construction, (218-228)
  394. Avigad J, Lewis R and Roux C (2016). A Heuristic Prover for Real Inequalities, Journal of Automated Reasoning, 56:3, (367-386), Online publication date: 1-Mar-2016.
  395. Conforti M and Pashkovich K (2016). The projected faces property and polyhedral relations, Mathematical Programming: Series A and B, 156:1-2, (331-342), Online publication date: 1-Mar-2016.
  396. Goddyn L, Huynh T and Deshpande T (2016). On Hilbert bases of cuts, Discrete Mathematics, 339:2, (721-728), Online publication date: 6-Feb-2016.
  397. Chandrasekaran K, Végh L and Vempala S (2016). The Cutting Plane Method is Polynomial for Perfect Matchings, Mathematics of Operations Research, 41:1, (23-48), Online publication date: 1-Feb-2016.
  398. de Amo E, De Meyer H, Díaz Carrillo M and Fernández Sánchez J (2016). Characterization of copulas with given diagonal and opposite diagonal sections, Fuzzy Sets and Systems, 284:C, (63-77), Online publication date: 1-Feb-2016.
  399. ACM
    Wushouer M, Lin D, Ishida T and Hirayama K (2015). A Constraint Approach to Pivot-Based Bilingual Dictionary Induction, ACM Transactions on Asian and Low-Resource Language Information Processing, 15:1, (1-26), Online publication date: 22-Jan-2016.
  400. ACM
    Bhaskaracharya S, Bondhugula U and Cohen A SMO: an integrated approach to intra-array and inter-array storage optimization Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (526-538)
  401. Hildebrand R, Weismantel R and Zemmer K An FPTAS for minimizing indefinite quadratic forms over integers in polyhedra Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete algorithms, (1715-1723)
  402. ACM
    Dütting P, Henzinger M and Weber I (2015). An Expressive Mechanism for Auctions on the Web, ACM Transactions on Economics and Computation, 4:1, (1-34), Online publication date: 5-Jan-2016.
  403. Zeng H, Shi Y, Hou Y, Lou W, Kompella S and Midkiff S (2016). An Analytical Model for Interference Alignment in Multi-Hop MIMO Networks, IEEE Transactions on Mobile Computing, 15:1, (17-31), Online publication date: 1-Jan-2016.
  404. Tushar W, Yuen C, Huang S, Smith D and Poor H (2015). Cost Minimization of Charging Stations With Photovoltaics: An Approach With EV Classification, IEEE Transactions on Intelligent Transportation Systems, 17:1, (156-169), Online publication date: 1-Jan-2016.
  405. Mijumbi R, Serrat J, Gorricho J, Bouten N, De Turck F and Boutaba R (2016). Network Function Virtualization: State-of-the-Art and Research Challenges, IEEE Communications Surveys & Tutorials, 18:1, (236-262), Online publication date: 1-Jan-2016.
  406. Hamling I, O'Sullivan M, Walker C and Thielen C Improving resource efficiency in internet cafés by virtualization and optimal user allocation Proceedings of the 8th International Conference on Utility and Cloud Computing, (26-34)
  407. Pohlmann U and Hüwe M Model-driven allocation engineering Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (374-384)
  408. Newell A, Obenshain D, Tantillo T, Nita-Rotaru C and Amir Y (2015). Increasing Network Resiliency by Optimally Assigning Diverse Variants to Routing Nodes, IEEE Transactions on Dependable and Secure Computing, 12:6, (602-614), Online publication date: 1-Nov-2015.
  409. Mizuno S, Sukegawa N and Deza A (2015). A primal-simplex based Tardos' algorithm, Operations Research Letters, 43:6, (625-628), Online publication date: 1-Nov-2015.
  410. De Loera J, Lee J, Margulies S and Miller J (2015). Weak orientability of matroids and polynomial equations, European Journal of Combinatorics, 50:C, (56-71), Online publication date: 1-Nov-2015.
  411. Rebiha R, Moura A and Matringe N (2015). Generating invariants for non-linear loops by linear algebraic methods, Formal Aspects of Computing, 27:5-6, (805-829), Online publication date: 1-Nov-2015.
  412. Kibzun A (2015). Comparison of two algorithms for solving a two-stage bilinear stochastic programming problem with quantile criterion, Applied Stochastic Models in Business and Industry, 31:6, (862-874), Online publication date: 1-Nov-2015.
  413. Subramani K and Wojciechowski P A Graphical Theorem of the Alternative for UTVPI Constraints Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing - ICTAC 2015 - Volume 9399, (328-345)
  414. Harel M and Mannor S (2015). The Perturbed Variation, IEEE Transactions on Pattern Analysis and Machine Intelligence, 37:10, (2119-2130), Online publication date: 1-Oct-2015.
  415. Even G and Halabi N (2015). Analysis of the Min-Sum Algorithm for Packing and Covering Problems via Linear Programming, IEEE Transactions on Information Theory, 61:10, (5295-5305), Online publication date: 1-Oct-2015.
  416. Farzan A and Kincaid Z Compositional recurrence analysis Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, (57-64)
  417. Brockschmidt M, Larraz D, Oliveras A, Rodríguez-Carbonell E and Rubio A Compositional safety verification with Max-SMT Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, (33-40)
  418. Elbassioni K and Nguyen T Approximation Schemes for Multi-objective Optimization with Quadratic Constraints of Fixed CP-Rank Proceedings of the 4th International Conference on Algorithmic Decision Theory - Volume 9346, (273-287)
  419. ACM
    Franek P and Krčál M (2015). Robust Satisfiability of Systems of Equations, Journal of the ACM, 62:4, (1-19), Online publication date: 11-Sep-2015.
  420. Ibragimov D and Sirotin A (2015). On the problem of optimal speed for the discrete linear system with bounded scalar control on the basis of 0-controllability sets, Automation and Remote Control, 76:9, (1517-1540), Online publication date: 1-Sep-2015.
  421. Bruni R and Bianchi G (2015). Effective Classification Using a Small Training Set Based on Discretization and Statistical Analysis, IEEE Transactions on Knowledge and Data Engineering, 27:9, (2349-2361), Online publication date: 1-Sep-2015.
  422. ACM
    Le T, Qin S and Chin W (2015). Termination and non-termination specification inference, ACM SIGPLAN Notices, 50:6, (489-498), Online publication date: 7-Aug-2015.
  423. ACM
    Ding W, Tang X, Kandemir M, Zhang Y and Kultursay E (2015). Optimizing off-chip accesses in multicores, ACM SIGPLAN Notices, 50:6, (131-142), Online publication date: 7-Aug-2015.
  424. ACM
    Gonnord L, Monniaux D and Radanne G (2015). Synthesis of ranking functions using extremal counterexamples, ACM SIGPLAN Notices, 50:6, (608-618), Online publication date: 7-Aug-2015.
  425. Chatterjee K, Komarkova Z and Kretinsky J Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (244-256)
  426. Blondin M, Finkel A, Goller S, Haase C and McKenzie P Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (32-43)
  427. ACM
    Hansen T and Zwick U An Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm Proceedings of the forty-seventh annual ACM symposium on Theory of Computing, (209-218)
  428. ACM
    Braun G, Pokutta S and Zink D Inapproximability of Combinatorial Problems via Small LPs and SDPs Proceedings of the forty-seventh annual ACM symposium on Theory of Computing, (107-116)
  429. ACM
    Le T, Qin S and Chin W Termination and non-termination specification inference Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, (489-498)
  430. ACM
    Ding W, Tang X, Kandemir M, Zhang Y and Kultursay E Optimizing off-chip accesses in multicores Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, (131-142)
  431. ACM
    Gonnord L, Monniaux D and Radanne G Synthesis of ranking functions using extremal counterexamples Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, (608-618)
  432. Jarray A and Karmouch A (2015). Decomposition approaches for virtual network embedding with one-shot node and link mapping, IEEE/ACM Transactions on Networking, 23:3, (1012-1025), Online publication date: 1-Jun-2015.
  433. Haddadi S, Chenche S, Cheraitia M and Guessoum F (2015). Polynomial-time local-improvement algorithm for Consecutive Block Minimization, Information Processing Letters, 115:6, (612-617), Online publication date: 1-Jun-2015.
  434. Wang Z, Tian H, Yang K and Liu Z (2015). Frequency resource allocation strategy with QoS support in hybrid cellular and Device-to-Device networks, International Journal of Communication Systems, 28:7, (1201-1218), Online publication date: 10-May-2015.
  435. Amanatidis G, Barrot N, Lang J, Markakis E and Ries B Multiple Referenda and Multiwinner Elections Using Hamming Distances Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, (715-723)
  436. Angulo G, Ahmed S, Dey S and Kaibel V (2015). Forbidden Vertices, Mathematics of Operations Research, 40:2, (350-360), Online publication date: 1-May-2015.
  437. Brázdil T, Chatterjee K, Forejt V and Kučera A MultiGain Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035, (181-187)
  438. Unno H and Terauchi T Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035, (149-163)
  439. ACM
    Avni G and Kupferman O (2014). Parameterized Weighted Containment, ACM Transactions on Computational Logic, 16:1, (1-25), Online publication date: 1-Mar-2015.
  440. ACM
    Greco G, Malizia E, Palopoli L and Scarcello F (2015). The Complexity of the Nucleolus in Compact Games, ACM Transactions on Computation Theory, 7:1, (1-52), Online publication date: 13-Jan-2015.
  441. ACM
    Awasthi P, Bandeira A, Charikar M, Krishnaswamy R, Villar S and Ward R Relax, No Need to Round Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, (191-200)
  442. Onn S and Shlyk V (2015). Some efficiently solvable problems over integer partition polytopes, Discrete Applied Mathematics, 180:C, (135-140), Online publication date: 10-Jan-2015.
  443. ACM
    Cilardo A and Gallo L (2015). Improving Multibank Memory Access Parallelism with Lattice-Based Partitioning, ACM Transactions on Architecture and Code Optimization, 11:4, (1-25), Online publication date: 9-Jan-2015.
  444. Dalmau V, Krokhin A and Manokaran R Towards a characterization of constant-factor approximable Min CSPs Proceedings of the twenty-sixth annual ACM-SIAM symposium on Discrete algorithms, (847-857)
  445. Summa M, Eisenbrand F, Faenza Y and Moldenhauer C On largest volume simplices and sub-determinants Proceedings of the twenty-sixth annual ACM-SIAM symposium on Discrete algorithms, (315-323)
  446. Gauthier J, Desrosiers J and Lübbecke M (2014). Decomposition theorems for linear programs, Operations Research Letters, 42:8, (553-557), Online publication date: 1-Dec-2014.
  447. Declerck P and Guezzi A (2014). Predictive control of Timed Event Graphs with specifications defined by P-time Event Graphs, Discrete Event Dynamic Systems, 24:3, (261-273), Online publication date: 1-Sep-2014.
  448. ACM
    Bondhugula U, Bandishti V, Cohen A, Potron G and Vasilache N Tiling and optimizing time-iterated computations on periodic domains Proceedings of the 23rd international conference on Parallel architectures and compilation, (39-50)
  449. Eirinakis P, Magos D, Mourtos I and Miliotis P (2014). Polyhedral Aspects of Stable Marriage, Mathematics of Operations Research, 39:3, (656-671), Online publication date: 1-Aug-2014.
  450. Afraimovich L (2014). A heuristic method for solving integer-valued decompositional multiindex problems, Automation and Remote Control, 75:8, (1357-1368), Online publication date: 1-Aug-2014.
  451. Grandoni F, Ravi R, Singh M and Zenklusen R (2014). New approaches to multi-objective optimization, Mathematical Programming: Series A and B, 146:1-2, (525-554), Online publication date: 1-Aug-2014.
  452. Esparza J, Ledesma-Garza R, Majumdar R, Meyer P and Niksic F An SMT-Based Approach to Coverability Analysis Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559, (603-619)
  453. Hagemann W Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections Proceedings of the 16th International Conference on Computer Aided Verification - Volume 8559, (407-423)
  454. ACM
    Pratt-Hartmann I Logics with counting and equivalence Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (1-10)
  455. ACM
    Ben-Amram A and Genaim S (2014). Ranking Functions for Linear-Constraint Loops, Journal of the ACM, 61:4, (1-55), Online publication date: 1-Jul-2014.
  456. Lu N, Wang Y, Su S, Yang F and Han R (2014). Filtering location optimization for the reactive packet filtering, Security and Communication Networks, 7:7, (1150-1164), Online publication date: 1-Jul-2014.
  457. Ábrahám E, Becker B, Dehnert C, Jansen N, Katoen J and Wimmer R Counterexample Generation for Discrete-Time Markov Models Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483, (65-121)
  458. ACM
    Clauss P Counting solutions to linear and nonlinear constraints through Ehrhart polynomials ACM International Conference on Supercomputing 25th Anniversary Volume, (237-244)
  459. Dash S, Dobbs N, Günlük O, Nowicki T and Świrszcz G (2014). Lattice-free sets, multi-branch split disjunctions, and mixed-integer programming, Mathematical Programming: Series A and B, 145:1-2, (483-508), Online publication date: 1-Jun-2014.
  460. Dey S and Pokutta S (2014). Design and verify, Mathematical Programming: Series A and B, 145:1-2, (199-222), Online publication date: 1-Jun-2014.
  461. Basu A, Hildebrand R and Köppe M (2014). The triangle closure is a polyhedron, Mathematical Programming: Series A and B, 145:1-2, (19-58), Online publication date: 1-Jun-2014.
  462. Hemmecke R, Köppe M and Weismantel R (2014). Graver basis and proximity techniques for block-structured separable convex integer minimization problems, Mathematical Programming: Series A and B, 145:1-2, (1-18), Online publication date: 1-Jun-2014.
  463. ACM
    Čadek M, Krčál M, Matoušek J, Sergeraert F, Vokřínek L and Wagner U (2014). Computing All Maps into a Sphere, Journal of the ACM, 61:3, (1-44), Online publication date: 1-May-2014.
  464. ACM
    Huang Q, Guibas L and Mitra N (2014). Near-Regular Structure Discovery Using Linear Programming, ACM Transactions on Graphics, 33:3, (1-17), Online publication date: 1-May-2014.
  465. Wong T (2014). Diagonal forms and zero-sum (mod 2) bipartite Ramsey numbers, Journal of Combinatorial Theory Series A, 124, (97-113), Online publication date: 1-May-2014.
  466. Horsley D and Pike D (2014). On balanced incomplete block designs with specified weak chromatic number, Journal of Combinatorial Theory Series A, 123:1, (123-153), Online publication date: 1-Apr-2014.
  467. Conforti M and Del Pia A (2014). Disjunctive programming and relaxations of polyhedra, Mathematical Programming: Series A and B, 144:1-2, (307-314), Online publication date: 1-Apr-2014.
  468. ACM
    Wang Y, Li P and Cong J Theory and algorithm for generalized memory partitioning in high-level synthesis Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays, (199-208)
  469. ACM
    Jimborean A, Koukos K, Spiliopoulos V, Black-Schaffer D and Kaxiras S Fix the code. Don't tweak the hardware Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization, (262-272)
  470. ACM
    Jimborean A, Koukos K, Spiliopoulos V, Black-Schaffer D and Kaxiras S Fix the code. Don't tweak the hardware Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization, (262-272)
  471. ACM
    Chandrasekaran K and Vempala S Integer feasibility of random polytopes Proceedings of the 5th conference on Innovations in theoretical computer science, (449-458)
  472. Hansen T, Kaplan H and Zwick U Dantzig's pivoting rule for shortest paths, deterministic MDPs, and minimum cost to time ratio cycles Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, (847-860)
  473. Del Pia A and Weismantel R Integer quadratic programming in the plane Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, (840-846)
  474. Franek P and Krčál M Robust satisfiability of systems of equations Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, (193-203)
  475. ACM
    Sun J, Lysecky R, Shankar K, Kodi A, Louri A and Roveda J (2014). Workload assignment considering NBTI degradation in multicore systems, ACM Journal on Emerging Technologies in Computing Systems, 10:1, (1-22), Online publication date: 1-Jan-2014.
  476. ACM
    Tessens L, Morbee M, Aghajan H and Philips W (2014). Camera selection for tracking in distributed smart camera networks, ACM Transactions on Sensor Networks, 10:2, (1-33), Online publication date: 1-Jan-2014.
  477. Cornuéjols G and Molinaro M (2013). A 3-Slope Theorem for the infinite relaxation in the plane, Mathematical Programming: Series A and B, 142:1-2, (83-105), Online publication date: 1-Dec-2013.
  478. Zhang W, Chung G, Pierre-Louis P, Bayraksan G and Lansey K (2013). Reclaimed water distribution network design under temporal and spatial growth and demand uncertainties, Environmental Modelling & Software, 49:C, (103-117), Online publication date: 1-Nov-2013.
  479. ACM
    Sarma A, Lee H, Gonzalez H, Madhavan J and Halevy A (2013). Consistent thinning of large geographical data for map visualization, ACM Transactions on Database Systems, 38:4, (1-35), Online publication date: 1-Nov-2013.
  480. Cornaz D and Nguyen V (2013). Kőnig's edge-colouring theorem for all graphs, Operations Research Letters, 41:6, (592-596), Online publication date: 1-Nov-2013.
  481. Ding W, Liu J, Kandemir M and Irwin M Reshaping cache misses to improve row-buffer locality in multicore systems Proceedings of the 22nd international conference on Parallel architectures and compilation techniques, (235-244)
  482. Compiler-directed memory hierarchy design for low-energy embedded systems Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign, (147-156)
  483. Srivastava S, Gulwani S and Foster J (2013). Template-based program verification and program synthesis, International Journal on Software Tools for Technology Transfer (STTT), 15:5-6, (497-518), Online publication date: 1-Oct-2013.
  484. Sun Z, Bai Y, Wang S, Cao Y and Xu S A Virtual Network Embedding Algorithm Based on Graph Theory Proceedings of the 10th IFIP International Conference on Network and Parallel Computing - Volume 8147, (1-12)
  485. Wojtczak D Optimal control for linear-rate multi-mode systems Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems, (258-273)
  486. Wimmer R, Jansen N, Vorpahl A, Ábrahám E, Katoen J and Becker B High-Level counterexamples for probabilistic automata Proceedings of the 10th international conference on Quantitative Evaluation of Systems, (39-54)
  487. Klep I and Schweighofer M (2013). An Exact Duality Theory for Semidefinite Programming Based on Sums of Squares, Mathematics of Operations Research, 38:3, (569-590), Online publication date: 1-Aug-2013.
  488. ACM
    Albert E, Genaim S and Masud A (2013). On the Inference of Resource Usage Upper and Lower Bounds, ACM Transactions on Computational Logic, 14:3, (1-35), Online publication date: 1-Aug-2013.
  489. Manjunath M (2013). The Laplacian lattice of a graph under a simplicial distance function, European Journal of Combinatorics, 34:6, (1051-1070), Online publication date: 1-Aug-2013.
  490. Averkov G (2013). Constructive Proofs of some Positivstellensätze for Compact Semialgebraic Subsets of źd, Journal of Optimization Theory and Applications, 158:2, (410-418), Online publication date: 1-Aug-2013.
  491. Hubert E and Labahn G (2013). Scaling Invariants and Symmetry Reduction of Dynamical Systems, Foundations of Computational Mathematics, 13:4, (479-516), Online publication date: 1-Aug-2013.
  492. Gupta A, Majumdar R and Rybalchenko A (2013). From tests to proofs, International Journal on Software Tools for Technology Transfer (STTT), 15:4, (291-303), Online publication date: 1-Aug-2013.
  493. Albarghouthi A and Mcmillan K Beautiful Interpolants Proceedings of the 25th International Conference on Computer Aided Verification - Volume 8044, (313-329)
  494. Huang Q and Guibas L Consistent shape maps via semidefinite programming Proceedings of the Eleventh Eurographics/ACMSIGGRAPH Symposium on Geometry Processing, (177-186)
  495. Amaldi E, Dhyani K and Ceselli A (2013). Column Generation for the Minimum Hyperplanes Clustering Problem, INFORMS Journal on Computing, 25:3, (446-460), Online publication date: 1-Jul-2013.
  496. ACM
    Huang X and Rubin I (2013). Capacity- and energy-aware activation of sensor nodes for area phenomenon reproduction using wireless network transport, ACM Transactions on Sensor Networks, 9:4, (1-24), Online publication date: 1-Jul-2013.
  497. Leroux J Presburger Vector Addition Systems Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (23-32)
  498. ACM
    Thapper J and Zivny S The complexity of finite-valued CSPs Proceedings of the forty-fifth annual ACM symposium on Theory of Computing, (695-704)
  499. Tan T, André É, Sun J, Liu Y, Dong J and Chen M Dynamic synthesis of local time requirement for service composition Proceedings of the 2013 International Conference on Software Engineering, (542-551)
  500. Zick Y, Polukarov M and Jennings N Taxation and stability in cooperative games Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, (523-530)
  501. Elkind E, Pasechnik D and Zick Y Dynamic weighted voting games Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, (515-522)
  502. Endriss U Reduction of economic inequality in combinatorial domains Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, (175-182)
  503. Dash S, Günlük O and Ramirez D On some generalizations of the split closure Proceedings of the 16th international conference on Integer Programming and Combinatorial Optimization, (145-156)
  504. Conforti M, Del Pia A, Di Summa M, Faenza Y and Grappe R Reverse chvátal-gomory rank Proceedings of the 16th international conference on Integer Programming and Combinatorial Optimization, (133-144)
  505. Bacci G, Bacci G, Larsen K and Mardare R On-the-Fly exact computation of bisimilarity distances Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems, (1-15)
  506. Fukunaga T (2013). Approximating minimum cost source location problems with local vertex-connectivity demands, Journal of Discrete Algorithms, 19, (30-38), Online publication date: 1-Mar-2013.
  507. Ding W, Kandemir M, Yedlapalli P, Zhang Y and Srinivas J Locality-aware mapping and scheduling for multicores Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), (1-12)
  508. Dunkel J and Schulz A (2013). The Gomory-Chvátal Closure of a Nonrational Polytope Is a Rational Polytope, Mathematics of Operations Research, 38:1, (63-91), Online publication date: 1-Feb-2013.
  509. Jonsson P and LööW T (2013). Computational complexity of linear constraints over the integers, Artificial Intelligence, 195, (44-62), Online publication date: 1-Feb-2013.
  510. Cormode G, Mitzenmacher M and Thaler J (2013). Streaming Graph Computations with a Helpful Advisor, Algorithmica, 65:2, (409-442), Online publication date: 1-Feb-2013.
  511. ACM
    Upadrasta R and Cohen A (2013). Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra, ACM SIGPLAN Notices, 48:1, (483-496), Online publication date: 23-Jan-2013.
  512. ACM
    Ben-Amram A and Genaim S (2013). On the linear ranking problem for integer linear-constraint loops, ACM SIGPLAN Notices, 48:1, (51-62), Online publication date: 23-Jan-2013.
  513. ACM
    Upadrasta R and Cohen A Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (483-496)
  514. ACM
    Ben-Amram A and Genaim S On the linear ranking problem for integer linear-constraint loops Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (51-62)
  515. Afraimovich L (2013). Multiindex transportation problems with 2-embedded structure, Automation and Remote Control, 74:1, (90-104), Online publication date: 1-Jan-2013.
  516. ACM
    Pajic M, Chernoguzov A and Mangharam R (2013). Robust architectures for embedded wireless network control and actuation, ACM Transactions on Embedded Computing Systems, 11:4, (1-24), Online publication date: 1-Dec-2012.
  517. Lee J, Onn S, Romanchuk L and Weismantel R (2012). The quadratic Graver cone, quadratic integer minimization, and extensions, Mathematical Programming: Series A and B, 136:2, (301-323), Online publication date: 1-Dec-2012.
  518. Könemann J, Larson K and Steiner D Network Bargaining Proceedings of the 5th International Symposium on Algorithmic Game Theory - Volume 7615, (216-226)
  519. ACM
    Schockaert S, Janssen J and Vermeir D (2012). Fuzzy Equilibrium Logic, ACM Transactions on Computational Logic, 13:4, (1-39), Online publication date: 1-Oct-2012.
  520. Zuev A and Fedyanin D (2012). Models of opinion control for agents in social networks, Automation and Remote Control, 73:10, (1753-1764), Online publication date: 1-Oct-2012.
  521. Del Pia A and Weismantel R (2012). On convergence in mixed integer programming, Mathematical Programming: Series A and B, 135:1-2, (397-412), Online publication date: 1-Oct-2012.
  522. Buchin K, Matoušek J, Moser R and Pálvölgyi D (2012). Vectors in a box, Mathematical Programming: Series A and B, 135:1-2, (323-335), Online publication date: 1-Oct-2012.
  523. Chen H, Flur S and Mukhopadhyay S Termination proofs for linear simple loops Proceedings of the 19th international conference on Static Analysis, (422-438)
  524. ACM
    Deshpande A and Hellerstein L (2012). Parallel pipelined filter ordering with precedence constraints, ACM Transactions on Algorithms, 8:4, (1-38), Online publication date: 1-Sep-2012.
  525. Fioravanti F, Pettorossi A, Proietti M and Senni V (2012). Improving Reachability Analysis of Infinite State Systems by Specialization, Fundamenta Informaticae, 119:3-4, (281-300), Online publication date: 1-Aug-2012.
  526. ACM
    Hubert E and Labahn G Rational invariants of scalings from Hermite normal forms Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, (219-226)
  527. Yu J, Zha Z and Chua T Answering opinion questions on products by exploiting hierarchical organization of consumer reviews Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, (391-401)
  528. Jain N, Menache I, Naor J and Shepherd F Topology-aware VM migration in bandwidth oversubscribed datacenter networks Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II, (586-597)
  529. Fu H Computing game metrics on markov decision processes Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II, (227-238)
  530. ACM
    Kröller A, Baumgartner T, Fekete S and Schmidt C (2012). Exact solutions and bounds for general art gallery problems, ACM Journal of Experimental Algorithmics, 17, (2.1-2.23), Online publication date: 1-Jul-2012.
  531. Álvarez Mariño R, Hernández Álvarez F and Hernández Encinas L (2012). A crypto-biometric scheme based on iris-templates with fuzzy extractors, Information Sciences: an International Journal, 195, (91-102), Online publication date: 1-Jul-2012.
  532. Delaune S, Kremer S and Pasaila D Security protocols, constraint systems, and group theories Proceedings of the 6th international joint conference on Automated Reasoning, (164-178)
  533. Mandel L and Plateau F Scheduling and buffer sizing of n-synchronous systems Proceedings of the 11th international conference on Mathematics of Program Construction, (74-101)
  534. ACM
    Basin D, Burri S and Karjoth G Optimal workflow-aware authorizations Proceedings of the 17th ACM symposium on Access Control Models and Technologies, (93-102)
  535. Zick Y, Chalkiadakis G and Elkind E Overlapping coalition formation games Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, (787-794)
  536. Samdani R, Chang M and Roth D Unified expectation maximization Proceedings of the 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, (688-698)
  537. ACM
    Seghir R, Loechner V and Meister B (2012). Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization, ACM Transactions on Architecture and Code Optimization, 9:2, (1-27), Online publication date: 1-Jun-2012.
  538. Del Pia A (2012). On the Rank of Disjunctive Cuts, Mathematics of Operations Research, 37:2, (372-378), Online publication date: 1-May-2012.
  539. Mastrolilli M and Stamoulis G Constrained matching problems in bipartite graphs Proceedings of the Second international conference on Combinatorial Optimization, (344-355)
  540. ACM
    Benerecetti M, Faella M and Minopoli S Reachability games for linear hybrid systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, (65-74)
  541. Rahmani M, Romero R, Rider M and Paredes M Domain reduction using GRASP construction phase for transmission expansion planning problem Proceedings of the 12th European conference on Evolutionary Computation in Combinatorial Optimization, (87-98)
  542. Zhang Y and Yang J (2012). Optimizing I/O for big array analytics, Proceedings of the VLDB Endowment, 5:8, (764-775), Online publication date: 1-Apr-2012.
  543. Gorbunov K, Seliverstov A and Lyubetsky V (2012). Geometric relationship between parallel hyperplanes, quadrics, and vertices of a hypercube, Problems of Information Transmission, 48:2, (185-192), Online publication date: 1-Apr-2012.
  544. Chen D, van Breugel F and Worrell J On the complexity of computing probabilistic bisimilarity Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures, (437-451)
  545. Göller S, Haase C, Ouaknine J and Worrell J Branching-Time model checking of parametric one-counter automata Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures, (406-420)
  546. Snell W, Pattinson D and Widmann F Solving graded/probabilistic modal logic via linear inequalities (system description) Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning, (383-390)
  547. Tanaka Y, Imahori S, Sasaki M and Yagiura M (2012). An LP-based heuristic algorithm for the node capacitated in-tree packing problem, Computers and Operations Research, 39:3, (637-646), Online publication date: 1-Mar-2012.
  548. Popova E (2012). Explicit description of 2D parametric solution sets, BIT, 52:1, (179-200), Online publication date: 1-Mar-2012.
  549. ACM
    Sarkar S and Maltouf M Identifying hotspots in a program for data parallel architecture Proceedings of the 5th India Software Engineering Conference, (131-137)
  550. Basu A, Cornuéjols G and Margot F (2012). Intersection Cuts with Infinite Split Rank, Mathematics of Operations Research, 37:1, (21-40), Online publication date: 1-Feb-2012.
  551. Kolokolov A, Orlovskaya T and Rybalka M (2012). Analysis of integer programming algorithms with L-partition and unimodular transformations, Automation and Remote Control, 73:2, (369-380), Online publication date: 1-Feb-2012.
  552. Klimova A, Rudas T and Dobra A (2012). Relational models for contingency tables, Journal of Multivariate Analysis, 104:1, (159-173), Online publication date: 1-Feb-2012.
  553. Solé M and Carmona J Incremental process discovery Transactions on Petri Nets and Other Models of Concurrency V, (221-242)
  554. Afraimovich L (2012). Multi-index transport problems with decomposition structure, Automation and Remote Control, 73:1, (118-133), Online publication date: 1-Jan-2012.
  555. ACM
    Liang K, Zimmermann R and Ooi W Peer-assisted texture streaming in metaverses Proceedings of the 19th ACM international conference on Multimedia, (203-212)
  556. Ding W, Zhang Y, Liu J and Kandemir M Optimizing data locality using array tiling Proceedings of the International Conference on Computer-Aided Design, (142-149)
  557. Jansen K and Solis-Oba R (2011). A Polynomial Time OPT + 1 Algorithm for the Cutting Stock Problem with a Constant Number of Object Lengths, Mathematics of Operations Research, 36:4, (743-753), Online publication date: 1-Nov-2011.
  558. Averkov G, Wagner C and Weismantel R (2011). Maximal Lattice-Free Polyhedra, Mathematics of Operations Research, 36:4, (721-742), Online publication date: 1-Nov-2011.
  559. ACM
    Touati S, Brault F, Deschinkel K and Dupont de Dinechin B (2011). Efficient Spilling Reduction for Software Pipelined Loops in Presence of Multiple Register Types in Embedded VLIW Processors, ACM Transactions on Embedded Computing Systems, 10:4, (1-25), Online publication date: 1-Nov-2011.
  560. Verdoolaege S, Cohen A and Beletska A Transitive closures of affine integer tuple relations and their overapproximations Proceedings of the 18th international conference on Static analysis, (216-232)
  561. Li D, Sun X, Gao J, Gu S and Zheng X (2011). Reachability determination in acyclic Petri nets by cell enumeration approach, Automatica (Journal of IFAC), 47:9, (2094-2098), Online publication date: 1-Sep-2011.
  562. Cohen D, Creed P, Jeavons P and Živný S An algebraic theory of complexity for valued constraints Proceedings of the 36th international conference on Mathematical foundations of computer science, (231-242)
  563. Matsumoto Y, Kamiyama N and Imai K On totally unimodularity of edge-edge adjacency matrices Proceedings of the 17th annual international conference on Computing and combinatorics, (354-365)
  564. Solé M and Carmona J (2011). Light Region-based Techniques for Process Discovery, Fundamenta Informaticae, 113:3-4, (343-376), Online publication date: 1-Aug-2011.
  565. Afraimovich L (2011). Three-Index linear programs with nested structure, Automation and Remote Control, 72:8, (1679-1689), Online publication date: 1-Aug-2011.
  566. Kouramas K, Faísca N, Panos C and Pistikopoulos E (2011). Explicit/multi-parametric model predictive control (MPC) of linear discrete-time systems by dynamic and multi-parametric programming, Automatica (Journal of IFAC), 47:8, (1638-1645), Online publication date: 1-Aug-2011.
  567. Champarnaud J, Dubernard J, Guingne F and Jeanne H Geometrical regular languages and linear diophantine equations Proceedings of the 13th international conference on Descriptional complexity of formal systems, (107-120)
  568. Fioravanti F, Pettorossi A, Proietti M and Senni V Using real relaxations during program specialization Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation, (106-122)
  569. Blondel V, Gaubert S and Portier N (2011). The set of realizations of a max-plus linear sequence is semi-polyhedral, Journal of Computer and System Sciences, 77:4, (820-833), Online publication date: 1-Jul-2011.
  570. Studený M and Vomlel J (2011). On open questions in the geometric approach to structural learning Bayesian nets, International Journal of Approximate Reasoning, 52:5, (627-640), Online publication date: 1-Jul-2011.
  571. Schoenemann T Probabilistic word alignment under the L0-norm Proceedings of the Fifteenth Conference on Computational Natural Language Learning, (172-180)
  572. McCormick S and Peis B A primal-dual algorithm for weighted abstract cut packing Proceedings of the 15th international conference on Integer programming and combinatoral optimization, (324-335)
  573. ACM
    Kang R and Müller T Sphere and dot product representations of graphs Proceedings of the twenty-seventh annual symposium on Computational geometry, (308-314)
  574. ACM
    Müller T, van Leeuwen E and van Leeuwen J Integer representations of convex polygon intersection graphs Proceedings of the twenty-seventh annual symposium on Computational geometry, (300-307)
  575. ACM
    Friedmann O, Hansen T and Zwick U Subexponential lower bounds for randomized pivoting rules for the simplex algorithm Proceedings of the forty-third annual ACM symposium on Theory of computing, (283-292)
  576. Kodialam M, Lakshman T and Sengupta S (2011). Traffic-oblivious routing in the hose model, IEEE/ACM Transactions on Networking, 19:3, (774-787), Online publication date: 1-Jun-2011.
  577. Leroux J Vector addition system reachability problem Proceedings of the 5th international conference on Language and automata theory and applications, (41-64)
  578. Fukunaga T Approximating minimum cost source location problems with local vertex-connectivity demands Proceedings of the 8th annual conference on Theory and applications of models of computation, (428-439)
  579. Mcconnell R, Mehlhorn K, Näher S and Schweitzer P (2011). Survey, Computer Science Review, 5:2, (119-161), Online publication date: 1-May-2011.
  580. Liu J, Zhang Y, Ding W and Kandemir M On-chip cache hierarchy-aware tile scheduling for multicore machines Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization, (161-170)
  581. ACM
    Gawlitza T and Seidl H (2011). Solving systems of rational equations through strategy iteration, ACM Transactions on Programming Languages and Systems, 33:3, (1-48), Online publication date: 1-Apr-2011.
  582. Griggio A, Le T and Sebastiani R Efficient interpolant generation in satisfiability modulo linear integer arithmetic Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software, (143-157)
  583. Gawlitza T and Monniaux D Improving strategies via SMT solving Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software, (236-255)
  584. Colón M and Sankaranarayanan S Generalizing the template polyhedral domain Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software, (176-195)
  585. Chen L, Miné A, Wang J and Cousot P Linear absolute value relation analysis Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software, (156-175)
  586. ACM
    Cook W and Steffy D (2011). Solving Very Sparse Rational Systems of Equations, ACM Transactions on Mathematical Software, 37:4, (1-21), Online publication date: 1-Feb-2011.
  587. ACM
    Steffy D (2011). Exact solutions to linear systems of equations using output sensitive lifting, ACM Communications in Computer Algebra, 44:3/4, (160-182), Online publication date: 28-Jan-2011.
  588. ACM
    Pouchet L, Bondhugula U, Bastoul C, Cohen A, Ramanujam J, Sadayappan P and Vasilache N Loop transformations Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (549-562)
  589. ACM
    Leroux J Vector addition system reachability problem Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (307-316)
  590. ACM
    Pouchet L, Bondhugula U, Bastoul C, Cohen A, Ramanujam J, Sadayappan P and Vasilache N (2011). Loop transformations, ACM SIGPLAN Notices, 46:1, (549-562), Online publication date: 26-Jan-2011.
  591. ACM
    Leroux J (2011). Vector addition system reachability problem, ACM SIGPLAN Notices, 46:1, (307-316), Online publication date: 26-Jan-2011.
  592. Carmona J, Júlvez J, Cortadella J and Kishinevsky M (2011). A Scheduling Strategy for Synchronous Elastic Designs, Fundamenta Informaticae, 108:1-2, (1-21), Online publication date: 1-Jan-2011.
  593. Xinyu Y and Ying L Polyhedral Model Based Data Locality Optimization for Embedded Applications Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing, (926-930)
  594. Nitinawarat S and Narayan P (2010). Perfect omniscience, perfect secrecy, and Steiner tree packing, IEEE Transactions on Information Theory, 56:12, (6490-6500), Online publication date: 1-Dec-2010.
  595. ACM
    Al-Zubaidy H, Lambadaris I and Talim J (2010). Optimal scheduling in high-speed downlink packet access networks, ACM Transactions on Modeling and Computer Simulation, 21:1, (1-27), Online publication date: 1-Dec-2010.
  596. ACM
    Saxena T and Karsai G The GDSE framework Proceedings of the 10th Workshop on Domain-Specific Modeling, (1-6)
  597. Kroening D, Leroux J and Rümmer P Interpolating quantifier-free Presburger arithmetic Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning, (489-503)
  598. Saxena T and Karsai G MDE-based approach for generalizing design space exploration Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, (46-60)
  599. Philippidis C and Shang W (2010). On minimizing register usage of linearly scheduled algorithms with uniform dependencies, Computer Languages, Systems and Structures, 36:3, (250-267), Online publication date: 1-Oct-2010.
  600. Kuipers J, Vermeulen D and Voorneveld M (2010). A generalization of the Shapley–Ichiishi result, International Journal of Game Theory, 39:4, (585-602), Online publication date: 1-Oct-2010.
  601. Zhou L, Wang L, Shen C and Barnes N Hippocampal shape classification using redundancy constrained feature selection Proceedings of the 13th international conference on Medical image computing and computer-assisted intervention: Part II, (266-273)
  602. Alias C, Darte A, Feautrier P and Gonnord L Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs Proceedings of the 17th international conference on Static analysis, (117-133)
  603. Galli L and Stiller S Strong formulations for the multi-module PESP and a quadratic algorithm for graphical diophantine equation systems Proceedings of the 18th annual European conference on Algorithms: Part I, (338-349)
  604. Cormode G, Mitzenmacher M and Thaler J Streaming graph computations with a helpful advisor Proceedings of the 18th annual European conference on Algorithms: Part I, (231-242)
  605. Kamiyama N The prize-collecting edge dominating set problem in trees Proceedings of the 35th international conference on Mathematical foundations of computer science, (465-476)
  606. Dylla F and Lee J A Combined Calculus on Orientation with Composition Based on Geometric Properties Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, (1087-1088)
  607. ACM
    Ruggieri S and Mesnard F (2010). Typing linear constraints, ACM Transactions on Programming Languages and Systems, 32:6, (1-42), Online publication date: 1-Aug-2010.
  608. Zheng X, Sun X and Li D (2010). Separable Relaxation for Nonconvex Quadratic Integer Programming, Journal of Optimization Theory and Applications, 146:2, (463-489), Online publication date: 1-Aug-2010.
  609. Brillout A, Kroening D, Rümmer P and Wahl T An interpolating sequent calculus for quantifier-free presburger arithmetic Proceedings of the 5th international conference on Automated Reasoning, (384-399)
  610. Schoenemann T Computing optimal alignments for the IBM-3 translation model Proceedings of the Fourteenth Conference on Computational Natural Language Learning, (98-106)
  611. Ito T Polynomial-space approximation of no-signaling provers Proceedings of the 37th international colloquium conference on Automata, languages and programming, (140-151)
  612. Li Y and Amari S (2010). Two conditions for equivalence of 0-norm solution and 1-norm solution in sparse representation, IEEE Transactions on Neural Networks, 21:7, (1189-1196), Online publication date: 1-Jul-2010.
  613. Tanatmis A, Ruzika S, Hamacher H, Punekar M, Kienle F and Wehn N (2010). A separation algorithm for improved LP-decoding of linear block codes, IEEE Transactions on Information Theory, 56:7, (3277-3289), Online publication date: 1-Jul-2010.
  614. Understanding loops Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (139-148)
  615. Köppe M, Queyranne M and Ryan C (2010). Parametric Integer Programming Algorithm for Bilevel Mixed Integer Programs, Journal of Optimization Theory and Applications, 146:1, (137-150), Online publication date: 1-Jul-2010.
  616. McDiarmid C and Müller T The number of bits needed to represent a unit disk graph Proceedings of the 36th international conference on Graph-theoretic concepts in computer science, (315-323)
  617. Szőke Á Optimized feature distribution in distributed agile environments Proceedings of the 11th international conference on Product-Focused Software Process Improvement, (62-76)
  618. ACM
    Kuncak V, Mayer M, Piskac R and Suter P (2010). Complete functional synthesis, ACM SIGPLAN Notices, 45:6, (316-329), Online publication date: 12-Jun-2010.
  619. Basu A, Campelo M, Conforti M, Cornuéjols G and Zambelli G On lifting integer variables in minimal inequalities Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization, (85-95)
  620. Jansen K and Solis-Oba R An OPT+1 algorithm for the cutting stock problem with constant number of object lengths Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization, (438-449)
  621. Dey S and Vielma J The chvátal-gomory closure of an ellipsoid is a polyhedron Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization, (327-340)
  622. Hemmecke R, Köppe M and Weismantel R A polynomial-time algorithm for optimizing over N-flod 4-block decomposable integer programs Proceedings of the 14th international conference on Integer Programming and Combinatorial Optimization, (219-229)
  623. ACM
    Lee J, Sviridenko M and Vondrak J Matroid matching Proceedings of the forty-second ACM symposium on Theory of computing, (369-378)
  624. ACM
    Dey T, Hirani A and Krishnamoorthy B Optimal homologous cycles, total unimodularity, and linear programming Proceedings of the forty-second ACM symposium on Theory of computing, (221-230)
  625. ACM
    Kuncak V, Mayer M, Piskac R and Suter P Complete functional synthesis Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, (316-329)
  626. Noessner J, Niepert M, Meilicke C and Stuckenschmidt H Leveraging terminological structure for object reconciliation Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II, (334-348)
  627. Lutz C and Schröder L Probabilistic description logics for subjective uncertainty Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (393-403)
  628. Yazdi S, Savari S, Kramer G, Carlson K and Farnoud F (2010). On the multimessage capacity region for undirected ring networks, IEEE Transactions on Information Theory, 56:4, (1930-1947), Online publication date: 1-Apr-2010.
  629. ACM
    Ruggieri S and Mesnard F Variable ranges in linear constraints Proceedings of the 2010 ACM Symposium on Applied Computing, (2061-2065)
  630. ACM
    Fünfzig C, Michelucci D and Foufou S Polytope-based computation of polynomial ranges Proceedings of the 2010 ACM Symposium on Applied Computing, (1247-1252)
  631. Bouckaert R, Hemmecke R, Lindner S and Studený M (2010). Efficient Algorithms for Conditional Independence Inference, The Journal of Machine Learning Research, 11, (3453-3479), Online publication date: 1-Mar-2010.
  632. Abeledo H and Atkinson G (2010). A min-max theorem for plane bipartite graphs, Discrete Applied Mathematics, 158:5, (375-378), Online publication date: 1-Mar-2010.
  633. Obuchowska W (2010). Minimal infeasible constraint sets in convex integer programs, Journal of Global Optimization, 46:3, (423-433), Online publication date: 1-Mar-2010.
  634. Chandru V and Rao M Integer programming Algorithms and theory of computation handbook, (31-31)
  635. Chandru V and Rao M Linear programming Algorithms and theory of computation handbook, (30-30)
  636. Motwani R and Raghavan P Randomized algorithms Algorithms and theory of computation handbook, (12-12)
  637. Eisenbrand F, Hähnle N, Palvolgyi D and Shmonin G Testing additive integrality gaps Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete algorithms, (1227-1234)
  638. Fleischer L Data center scheduling, generalized flows, and submodularity Proceedings of the Meeting on Algorithm Engineering & Expermiments, (56-65)
  639. Fischetti M and Salvagnin D (2010). Pruning Moves, INFORMS Journal on Computing, 22:1, (108-119), Online publication date: 1-Jan-2010.
  640. Chandrasekaran R and Subramani K A Combinatorial Algorithm for Horn Programs Proceedings of the 20th International Symposium on Algorithms and Computation, (1114-1123)
  641. Gharan S, Bayesteh A and Khandani A (2009). On the diversity, IEEE Transactions on Information Theory, 55:12, (5423-5444), Online publication date: 1-Dec-2009.
  642. Yu H, Gao L, Li Y, Gan X, Wang X, Xu Y, Chen W and Vasilakos A Information sharing in spectrum auction for dynamic spectrum access Proceedings of the 28th IEEE conference on Global telecommunications, (1364-1368)
  643. Roy N, Xue Y, Gokhale A, Dowdy L and Schmidt D A Component Assignment Framework for Improved Capacity and Assured Performance in Web Portals Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I, (671-689)
  644. Levy N and Shamai S (2009). Clustered local decoding for Wyner-type cellular models, IEEE Transactions on Information Theory, 55:11, (4967-4985), Online publication date: 1-Nov-2009.
  645. Bagnara R, Hill P and Zaffanella E (2009). Applications of polyhedral computations to the analysis and verification of hardware and software systems, Theoretical Computer Science, 410:46, (4672-4691), Online publication date: 1-Nov-2009.
  646. Kis T (2009). Scheduling multiprocessor UET tasks of two sizes, Theoretical Computer Science, 410:47-49, (4864-4873), Online publication date: 1-Nov-2009.
  647. Kavitha T, Liebchen C, Mehlhorn K, Michail D, Rizzi R, Ueckerdt T and Zweig K (2009). Survey, Computer Science Review, 3:4, (199-243), Online publication date: 1-Nov-2009.
  648. Moss A and Gutkovich B Functional test generation with distribution constraints Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing, (34-51)
  649. Kodialam M, Lakshman T and Sengupta S (2009). Guaranteed performance routing of unpredictable traffic with fast path restoration, IEEE/ACM Transactions on Networking, 17:5, (1427-1438), Online publication date: 1-Oct-2009.
  650. Nair C and El Gamal A (2009). The capacity region of a class of three-receiver broadcast channels with degraded message sets, IEEE Transactions on Information Theory, 55:10, (4479-4493), Online publication date: 1-Oct-2009.
  651. Gerard Y, Coeurjolly D and Feschet F (2009). Gift-wrapping based preimage computation algorithm, Pattern Recognition, 42:10, (2255-2264), Online publication date: 1-Oct-2009.
  652. Charrier É, Buzer L and Feschet F Efficient lattice width computation in arbitrary dimension Proceedings of the 15th IAPR international conference on Discrete geometry for computer imagery, (46-56)
  653. Korovin K, Tsiskaridze N and Voronkov A Conflict resolution Proceedings of the 15th international conference on Principles and practice of constraint programming, (509-523)
  654. Althaus E, Kruglov E and Weidenbach C Superposition modulo linear arithmetic SUP(LA) Proceedings of the 7th international conference on Frontiers of combining systems, (84-99)
  655. Seliverstov A and Lyubetsky V (2009). On symmetric matrices with indeterminate leading diagonals, Problems of Information Transmission, 45:3, (258-263), Online publication date: 1-Sep-2009.
  656. Balasa F, Zhu H and Luican I (2009). Signal assignment to hierarchical memory organizations for embedded multidimensional signal processing systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 17:9, (1304-1317), Online publication date: 1-Sep-2009.
  657. Flanagan M, Skachek V, Byrne E and Greferath M (2009). Linear-programming decoding of nonbinary linear codes, IEEE Transactions on Information Theory, 55:9, (4134-4154), Online publication date: 1-Sep-2009.
  658. ACM
    Bruttomesso R An extension of the Davis-Putnam procedure and its application to preprocessing in SMT Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, (14-19)
  659. Senni V, Pettorossi A and Proietti M (2009). A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, Fundamenta Informaticae, 96:3, (373-393), Online publication date: 1-Aug-2009.
  660. van derWerf J, van Dongen B, Hurkens C and Serebrenik A (2009). Process Discovery using Integer Linear Programming, Fundamenta Informaticae, 94:3-4, (387-412), Online publication date: 1-Aug-2009.
  661. Darondeau P, Koutny M, Pietkiewicz-Koutny M and Yakovlev A (2009). Synthesis of Nets with Step Firing Policies, Fundamenta Informaticae, 94:3-4, (275-303), Online publication date: 1-Aug-2009.
  662. Senni V, Pettorossi A and Proietti M (2009). A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, Fundamenta Informaticae, 96:3, (373-393), Online publication date: 1-Aug-2009.
  663. van derWerf J, van Dongen B, Hurkens C and Serebrenik A (2009). Process Discovery using Integer Linear Programming, Fundamenta Informaticae, 94:3-4, (387-412), Online publication date: 1-Aug-2009.
  664. Darondeau P, Koutny M, Pietkiewicz-Koutny M and Yakovlev A (2009). Synthesis of Nets with Step Firing Policies, Fundamenta Informaticae, 94:3-4, (275-303), Online publication date: 1-Aug-2009.
  665. ACM
    Sivaram G, Kankanhalli M and Ramakrishnan K (2009). Design of multimedia surveillance systems, ACM Transactions on Multimedia Computing, Communications, and Applications, 5:3, (1-25), Online publication date: 1-Aug-2009.
  666. Miwa M, Wadayama T and Takumi I (2009). A cutting-plane method based on redundant rows for improving fractional distance, IEEE Journal on Selected Areas in Communications, 27:6, (1005-1012), Online publication date: 1-Aug-2009.
  667. Youssef A (2009). Cryptanalysis of a knapsack-based probabilistic encryption scheme, Information Sciences: an International Journal, 179:18, (3116-3121), Online publication date: 1-Aug-2009.
  668. Pitsoulis L, Papalamprou K, Appa G and Kotnyek B (2009). On the representability of totally unimodular matrices on bidirected graphs, Discrete Mathematics, 309:16, (5024-5042), Online publication date: 1-Aug-2009.
  669. Subramani K (2009). Optimal Length Resolution Refutations of Difference Constraint Systems, Journal of Automated Reasoning, 43:2, (121-137), Online publication date: 1-Aug-2009.
  670. Said Y and Wegman E (2009). Roadmap for Optimization, WIREs Computational Statistics, 1:1, (3-17), Online publication date: 13-Jul-2009.
  671. ACM
    Heinz T and Wilhelm R (2009). Towards device emulation code generation, ACM SIGPLAN Notices, 44:7, (109-118), Online publication date: 28-Jun-2009.
  672. ACM
    Heinz T and Wilhelm R Towards device emulation code generation Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (109-118)
  673. Juhás G, Lorenz R and Desel J Unifying Petri Net Semantics with Token Flows Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, (2-21)
  674. Kolar V, Abu-Ghazaleh N and Mähönen P Decomposition for low-complexity near-optimal routing in multi-hop wireless networks Proceedings of the 2009 IEEE international conference on Communications, (5302-5307)
  675. ACM
    Nowozin S and Jegelka S Solution stability in linear programming relaxations Proceedings of the 26th Annual International Conference on Machine Learning, (769-776)
  676. Mahulea C, Seatzu C, Cabasino M, Recalde L and Silva M Observer design for untimed continuous Petri nets Proceedings of the 2009 conference on American Control Conference, (4765-4770)
  677. Haddad J, De Schutter B, Mahalel D and Gutman P Steady-state and N-stages control for isolated controlled intersections Proceedings of the 2009 conference on American Control Conference, (2843-2848)
  678. Brooks R, Schwier J and Griffin C (2009). Markovian search games in heterogeneous spaces, IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 39:3, (626-635), Online publication date: 1-Jun-2009.
  679. Apollonio N (2009). Note, Discrete Mathematics, 309:12, (4181-4184), Online publication date: 1-Jun-2009.
  680. Marsa-Maestre I, Lopez-Carmona M, Velasco J and de la Hoz E Effective bidding and deal identification for negotiations in highly nonlinear scenarios Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, (1057-1064)
  681. Sanders P, Sivadasan N and Skutella M (2009). Online Scheduling with Bounded Migration, Mathematics of Operations Research, 34:2, (481-498), Online publication date: 1-May-2009.
  682. Rubalcaba R and Walsh M (2009). Minimum fractional dominating functions and maximum fractional packing functions, Discrete Mathematics, 309:10, (3280-3291), Online publication date: 1-May-2009.
  683. Liang Y, Poor H and Shamai (Shitz) S (2009). Information Theoretic Security, Foundations and Trends in Communications and Information Theory, 5:4–5, (355-580), Online publication date: 1-Apr-2009.
  684. Dahl G (2009). Disjoint congruence classes and a timetabling application, Discrete Applied Mathematics, 157:8, (1702-1710), Online publication date: 1-Apr-2009.
  685. Cai Q, Zhang C and Peng C (2009). Analysis of classification margin for classification accuracy with applications, Neurocomputing, 72:7-9, (1960-1968), Online publication date: 1-Mar-2009.
  686. Wieczorek M, Hoheisel A and Prodan R (2009). Towards a general model of the multi-criteria workflow scheduling on the grid, Future Generation Computer Systems, 25:3, (237-256), Online publication date: 1-Mar-2009.
  687. Correa J and Levin A (2009). Monotone Covering Problems with an Additional Covering Constraint, Mathematics of Operations Research, 34:1, (238-248), Online publication date: 1-Feb-2009.
  688. ACM
    Schröder L and Pattinson D (2009). PSPACE bounds for rank-1 modal logics, ACM Transactions on Computational Logic, 10:2, (1-33), Online publication date: 1-Feb-2009.
  689. Liang Y, Somekh-Baruch A, Poor H, Shamai S and Verdú S (2009). Capacity of cognitive interference channels with and without secrecy, IEEE Transactions on Information Theory, 55:2, (604-619), Online publication date: 1-Feb-2009.
  690. Li Z and Hu H (2009). On systematic methods to remove redundant monitors from liveness-enforcing net supervisors, Computers and Industrial Engineering, 56:1, (53-62), Online publication date: 1-Feb-2009.
  691. Balasa F, Luican I, Zhu H and Nasui D System-level exploration tool for energy-aware memory management in the design of multidimensional signal processing systems Proceedings of the 2009 Asia and South Pacific Design Automation Conference, (443-448)
  692. Elkind E and Pasechnik D Computing the nucleolus of weighted voting games Proceedings of the twentieth annual ACM-SIAM symposium on Discrete algorithms, (327-335)
  693. Bergenthum R, Desel J, Mauser S and Lorenz. R (2009). Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages, Fundamenta Informaticae, 95:1, (187-217), Online publication date: 1-Jan-2009.
  694. Bergenthum R, Desel J, Mauser S and Lorenz. R (2009). Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages, Fundamenta Informaticae, 95:1, (187-217), Online publication date: 1-Jan-2009.
  695. ACM
    Yorke-Smith N and Gervet C (2009). Certainty closure, ACM Transactions on Computational Logic, 10:1, (1-41), Online publication date: 1-Jan-2009.
  696. Djamegni C, Quinton P, Rajopadhye S, Risset T and Tchuenté M (2009). A reindexing based approach towards mapping of DAG with affine schedules onto parallel embedded systems, Journal of Parallel and Distributed Computing, 69:1, (1-11), Online publication date: 1-Jan-2009.
  697. Chen X, Ding G and Zang W (2009). The box-TDI system associated with 2-edge connected spanning subgraphs, Discrete Applied Mathematics, 157:1, (118-125), Online publication date: 1-Jan-2009.
  698. Bergenthum R, Desel J, Lorenz R and Mauser S (2008). Synthesis of Petri Nets from Finite Partial Languages, Fundamenta Informaticae, 88:4, (437-468), Online publication date: 31-Dec-2009.
  699. Bergenthum R, Desel J, Lorenz R and Mauser S (2008). Synthesis of Petri Nets from Finite Partial Languages, Fundamenta Informaticae, 88:4, (437-468), Online publication date: 1-Dec-2008.
  700. Sinha N Symbolic program analysis using term rewriting and generalization Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, (1-9)
  701. ACM
    Ahmad M, Aboulnaga A, Babu S and Munagala K Modeling and exploiting query interactions in database systems Proceedings of the 17th ACM conference on Information and knowledge management, (183-192)
  702. Ravi S and Knight K Attacking decipherment problems optimally with low-order N-gram models Proceedings of the Conference on Empirical Methods in Natural Language Processing, (812-819)
  703. Bouillard A, Jouhet L and Thierry E Computation of a (min,+) multi-dimensional convolution for end-to-end performance analysis Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools, (1-7)
  704. Esparza J, Jančar P and Miller A (2008). On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs, Fundamenta Informaticae, 86:3, (227-253), Online publication date: 15-Oct-2008.
  705. Quilliot A (2008). Preemptive scheduling and antichain polyhedra, Discrete Applied Mathematics, 156:17, (3267-3275), Online publication date: 1-Oct-2008.
  706. Piskac R and Kuncak V Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Proceedings of the 22nd international workshop on Computer Science Logic, (124-138)
  707. Esparza J, Jančar P and Miller A (2008). On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs, Fundamenta Informaticae, 86:3, (227-253), Online publication date: 1-Aug-2008.
  708. Torkey F, Salah A, El Desouky N and Gomaa S Affine and unimodular transformations for non-uniform nested loops Proceedings of the 12th WSEAS international conference on Computers, (414-419)
  709. Ruggieri S and Mesnard F Typing Linear Constraints for Moding CLP(${\cal R}$) Programs Proceedings of the 15th international symposium on Static Analysis, (128-143)
  710. Leroux J Convex Hull of Arithmetic Automata Proceedings of the 15th international symposium on Static Analysis, (47-61)
  711. Simon A Splitting the Control Flow with Boolean Flags Proceedings of the 15th international symposium on Static Analysis, (315-331)
  712. Jain H, Clarke E and Grumberg O Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations Proceedings of the 20th international conference on Computer Aided Verification, (254-267)
  713. ACM
    Lutteroth C and Weber G End-user GUI customization Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Human-Computer Interaction: Design Centered HCI, (1-8)
  714. Kavitha T On a Special Co-cycle Basis of Graphs Proceedings of the 11th Scandinavian workshop on Algorithm Theory, (343-354)
  715. Bradley A and Manna Z (2008). Property-directed incremental invariant generation, Formal Aspects of Computing, 20:4-5, (379-405), Online publication date: 1-Jul-2008.
  716. Werf J, Dongen B, Hurkens C and Serebrenik A Process Discovery Using Integer Linear Programming Proceedings of the 29th international conference on Applications and Theory of Petri Nets, (368-387)
  717. Darondeau P, Koutny M, Pietkiewicz-Koutny M and Yakovlev A Synthesis of Nets with Step Firing Policies Proceedings of the 29th international conference on Applications and Theory of Petri Nets, (112-131)
  718. ACM
    Gulwani S, Srivastava S and Venkatesan R Program analysis as constraint solving Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (281-292)
  719. ACM
    Bondhugula U, Hartono A, Ramanujam J and Sadayappan P A practical automatic polyhedral parallelizer and locality optimizer Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (101-113)
  720. ACM
    Pouchet L, Bastoul C, Cohen A and Cavazos J Iterative optimization in the polyhedral model Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (90-100)
  721. ACM
    Bova S and Montagna F (2008). Proof search in Hájek's basic logic, ACM Transactions on Computational Logic, 9:3, (1-26), Online publication date: 1-Jun-2008.
  722. Vorobyov S (2008). Cyclic games and linear programming, Discrete Applied Mathematics, 156:11, (2195-2231), Online publication date: 1-Jun-2008.
  723. ACM
    Gulwani S, Srivastava S and Venkatesan R (2008). Program analysis as constraint solving, ACM SIGPLAN Notices, 43:6, (281-292), Online publication date: 30-May-2008.
  724. ACM
    Bondhugula U, Hartono A, Ramanujam J and Sadayappan P (2008). A practical automatic polyhedral parallelizer and locality optimizer, ACM SIGPLAN Notices, 43:6, (101-113), Online publication date: 30-May-2008.
  725. ACM
    Pouchet L, Bastoul C, Cohen A and Cavazos J (2008). Iterative optimization in the polyhedral model, ACM SIGPLAN Notices, 43:6, (90-100), Online publication date: 30-May-2008.
  726. Berger A, Bonifaci V, Grandoni F and Schäfer G Budgeted matching and budgeted matroid intersection via the gasoline puzzle Proceedings of the 13th international conference on Integer programming and combinatorial optimization, (273-287)
  727. Martens M and McCormick S A polynomial algorithm for weighted abstract flow Proceedings of the 13th international conference on Integer programming and combinatorial optimization, (97-111)
  728. ACM
    Sherstov A The pattern matrix method for lower bounds on quantum communication Proceedings of the fortieth annual ACM symposium on Theory of computing, (85-94)
  729. Faure G, Nieuwenhuis R, Oliveras A and Rodríguez-Carbonell E SAT modulo the theory of linear arithmetic Proceedings of the 11th international conference on Theory and applications of satisfiability testing, (77-90)
  730. Drineas P, Kannan R and Mahoney M (2008). Sampling subproblems of heterogeneous Max-Cut problems and approximation algorithms, Random Structures & Algorithms, 32:3, (307-333), Online publication date: 1-May-2008.
  731. Shieh M and Tsai S (2008). Jug measuring, Theoretical Computer Science, 396:1-3, (50-62), Online publication date: 1-May-2008.
  732. Luican I, Zhu H and Balasa F (2008). Computation of the minimum data storage and applications in memory management for multimedia signal processing, Integrated Computer-Aided Engineering, 15:2, (181-196), Online publication date: 1-Apr-2008.
  733. Bondhugula U, Baskaran M, Krishnamoorthy S, Ramanujam J, Rountev A and Sadayappan P Automatic transformations for communication-minimized parallelization and locality optimization in the polyhedral model Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction, (132-146)
  734. Khachiyan L, Boros E, Borys K, Elbassioni K and Gurvich V (2008). Generating All Vertices of a Polyhedron Is Hard, Discrete & Computational Geometry, 39:1-3, (174-190), Online publication date: 1-Mar-2008.
  735. ACM
    Korzun D and Gurtov A (2008). A Diophantine model of routes in structured P2P overlays, ACM SIGMETRICS Performance Evaluation Review, 35:4, (52-61), Online publication date: 1-Mar-2008.
  736. Lyness J and Joe S (2008). Determination of the rank of an integration lattice , BIT, 48:1, (79-93), Online publication date: 1-Mar-2008.
  737. Delaune S, Lafourcade P, Lugiez D and Treinen R (2008). Symbolic protocol analysis for monoidal equational theories, Information and Computation, 206:2-4, (312-351), Online publication date: 1-Feb-2008.
  738. ACM
    Gupta A, Henzinger T, Majumdar R, Rybalchenko A and Xu R (2008). Proving non-termination, ACM SIGPLAN Notices, 43:1, (147-158), Online publication date: 14-Jan-2008.
  739. ACM
    Gupta A, Henzinger T, Majumdar R, Rybalchenko A and Xu R Proving non-termination Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (147-158)
  740. Leroux J and Sutre G Acceleration in convex data-flow analysis Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science, (520-531)
  741. Leroux J and Sutre G Acceleration in Convex Data-Flow Analysis FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, (520-531)
  742. Gopalakrishnan K, Thériault N and Yao C Solving discrete logarithms from partial knowledge of the key Proceedings of the cryptology 8th international conference on Progress in cryptology, (224-237)
  743. Hájek P (2007). Complexity of fuzzy probability logics II, Fuzzy Sets and Systems, 158:23, (2605-2611), Online publication date: 1-Dec-2007.
  744. Luican I, Zhu H and Balasa F Mapping model with inter-array memory sharing for multidimensional signal processing Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, (160-165)
  745. ACM
    Chekuri C and Khanna S (2007). Edge-disjoint paths revisited, ACM Transactions on Algorithms, 3:4, (46-es), Online publication date: 1-Nov-2007.
  746. Touati S (2007). On Periodic Register Need in Software Pipelining, IEEE Transactions on Computers, 56:11, (1493-1504), Online publication date: 1-Nov-2007.
  747. Zhang L and Hermanns H Deciding simulations on probabilistic automata Proceedings of the 5th international conference on Automated technology for verification and analysis, (207-222)
  748. Zhang L and Hermanns H Deciding Simulations on Probabilistic Automata Automated Technology for Verification and Analysis, (207-222)
  749. Cortier V and Delaune S Deciding knowledge in security protocols for monoidal equational theories Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning, (196-210)
  750. Cortier V and Delaune S Deciding Knowledge in Security Protocols for Monoidal Equational Theories Logic for Programming, Artificial Intelligence, and Reasoning, (196-210)
  751. ACM
    Thies W, Vivien F and Amarasinghe S (2007). A step towards unifying schedule and storage optimization, ACM Transactions on Programming Languages and Systems, 29:6, (34-es), Online publication date: 1-Oct-2007.
  752. Malvestuto F, Mezzini M and Moscarini M (2007). An analytical approach to the inference of summary data of additive type, Theoretical Computer Science, 385:1-3, (264-285), Online publication date: 1-Oct-2007.
  753. Brimkov V and Dantchev S (2007). Digital hyperplane recognition in arbitrary fixed dimension within an algebraic computation model, Image and Vision Computing, 25:10, (1631-1643), Online publication date: 1-Oct-2007.
  754. Bilbao J, Fernández J, Jiménez N and López J (2007). The core and the Weber set for bicooperative games, International Journal of Game Theory, 36:2, (209-222), Online publication date: 1-Oct-2007.
  755. Bergenthum R, Desel J, Lorenz R and Mauser S Process mining based on regions of languages Proceedings of the 5th international conference on Business process management, (375-383)
  756. Tavazoei M and Haeri M (2007). An optimization algorithm based on chaotic behavior and fractal nature, Journal of Computational and Applied Mathematics, 206:2, (1070-1081), Online publication date: 20-Sep-2007.
  757. Li D, Cao J, Liu D, Yu Y and Sun H Algorithms for the m-coverage problem and k-connected m-coverage problem in wireless sensor networks Proceedings of the 2007 IFIP international conference on Network and parallel computing, (250-259)
  758. Angibaud S, Fertin G, Rusu I, Thévenin A and Vialette S A pseudo-boolean programming approach for computing the breakpoint distance between two genomes with duplicate genes Proceedings of the 2007 international conference on Comparative genomics, (16-29)
  759. Gawlitza T and Seidl H Precise relational invariants through strategy iteration Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic, (23-40)
  760. Ranise S, Ringeissen C and Tran D Combining Proof-Producing Decision Procedures Proceedings of the 6th international symposium on Frontiers of Combining Systems, (237-251)
  761. Subramani K (2007). A Zero-Space algorithm for Negative Cost Cycle Detection in networks, Journal of Discrete Algorithms, 5:3, (408-421), Online publication date: 1-Sep-2007.
  762. ACM
    Giardini G and Kalmár-Nagy T Performance metrics and evaluation of a path planner based on genetic algorithms Proceedings of the 2007 Workshop on Performance Metrics for Intelligent Systems, (84-90)
  763. Biedl T, Lubiw A and Spriggs M Cauchy's theorem and edge lengths of convex polyhedra Proceedings of the 10th international conference on Algorithms and Data Structures, (398-409)
  764. Behle M On threshold BDDs and the optimal variable ordering problem Proceedings of the 1st international conference on Combinatorial optimization and applications, (124-135)
  765. Li Z, Zhou T, Li M and Chen H Constraints solution for time sensitive security protocols Proceedings of the 1st annual international conference on Frontiers in algorithmics, (191-203)
  766. ACM
    Chekuri C, Mydlarz M and Shepherd F (2007). Multicommodity demand flow in a tree and packing integer programs, ACM Transactions on Algorithms, 3:3, (27-es), Online publication date: 1-Aug-2007.
  767. Riera-Ledesma J and Salazar-González J (2007). A heuristic approach for the continuous error localization problem in data cleaning, Computers and Operations Research, 34:8, (2370-2383), Online publication date: 1-Aug-2007.
  768. Ghilardi S, Nicolini E, Ranise S and Zucchelli D (2007). Decision procedures for extensions of the theory of arrays, Annals of Mathematics and Artificial Intelligence, 50:3-4, (231-254), Online publication date: 1-Aug-2007.
  769. O'Shea E and Sebő A Characterizations of Total Dual Integrality Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization, (382-396)
  770. Lasserre J and Zeron E Simple Explicit Formula for Counting Lattice Points of Polyhedra Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization, (367-381)
  771. Conforti M, Gerards B and Zambelli G Mixed-Integer Vertex Covers on Bipartite Graphs Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization, (324-336)
  772. Andersen K, Louveaux Q, Weismantel R and Wolsey L Inequalities from Two Rows of a Simplex Tableau Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization, (1-15)
  773. ACM
    Jain K and Vazirani V Eisenberg-Gale markets Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, (364-373)
  774. ACM
    Sherstov A Separating AC0 from depth-2 majority circuits Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, (294-301)
  775. ACM
    Berman P, Jeong J, Kasiviswanathan S and Urgaonkar B Packing to angles and sectors Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures, (171-180)
  776. ACM
    Lin G and Rajaraman R Approximation algorithms for multiprocessor scheduling under uncertainty Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures, (25-34)
  777. Chandler D, Guo J, Kloks T and Niedermeier R Probe Matrix Problems Proceedings of the 3rd international conference on Algorithmic Aspects in Information and Management, (368-377)
  778. ACM
    Halpern J and Pucella R (2007). Characterizing and reasoning about probabilistic and non-probabilistic expectation, Journal of the ACM, 54:3, (15-es), Online publication date: 1-Jun-2007.
  779. Pralet C, Verfaillie G and Schiex T (2007). An algebraic graphical model for decision with uncertainties, feasibilities, and utilities, Journal of Artificial Intelligence Research, 29:1, (421-489), Online publication date: 1-May-2007.
  780. ACM
    Turjan A, Kienhuis B and Deprettere E (2007). Classifying interprocess communication in process network representation of nested-loop programs, ACM Transactions on Embedded Computing Systems, 6:2, (13-es), Online publication date: 1-May-2007.
  781. Zambelli G (2007). Colorings of k-balanced matrices and integer decomposition property of related polyhedra, Operations Research Letters, 35:3, (353-356), Online publication date: 1-May-2007.
  782. Appa G, Kotnyek B, Papalamprou K and Pitsoulis L (2007). Optimization with binet matrices, Operations Research Letters, 35:3, (345-352), Online publication date: 1-May-2007.
  783. ACM
    Butler K, Zhang J, Esposito C, Bahrami A, Hebron R and Kieras D Work-centered design Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (747-756)
  784. Zhu H, Luican I and Balasa F Mapping multi-dimensional signals into hierarchical memory organizations Proceedings of the conference on Design, automation and test in Europe, (385-390)
  785. Balasa F, Zhu H and Luican I (2007). Computation of storage requirements for multi-dimensional signal processing applications, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 15:4, (447-460), Online publication date: 1-Apr-2007.
  786. Grund D and Hack S A fast cutting-plane algorithm for optimal coalescing Proceedings of the 16th international conference on Compiler construction, (111-125)
  787. Zhang L, Hermanns H, Eisenbrand F and Jansen D Flow faster Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (155-169)
  788. Seidl H, Flexeder A and Petter M Interprocedurally analysing linear inequality relations Proceedings of the 16th European Symposium on Programming, (284-299)
  789. ACM
    Bondhugula U, Ramanujam J and Sadayappan P Automatic mapping of nested loops to FPGAS Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, (101-111)
  790. Pouchet L, Bastoul C, Cohen A and Vasilache N Iterative Optimization in the Polyhedral Model Proceedings of the International Symposium on Code Generation and Optimization, (144-156)
  791. ACM
    Li H and Muskulus M (2007). Analysis and modeling of job arrivals in a production grid, ACM SIGMETRICS Performance Evaluation Review, 34:4, (59-70), Online publication date: 1-Mar-2007.
  792. ACM
    Hallgren S (2007). Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem, Journal of the ACM, 54:1, (1-19), Online publication date: 1-Mar-2007.
  793. Caragiannis I Wavelength management in WDM rings to maximize the number of connections Proceedings of the 24th annual conference on Theoretical aspects of computer science, (61-72)
  794. Bahl P, Hajiaghayi M, Jain K, Mirrokni S, Qiu L and Saberi A (2007). Cell Breathing in Wireless LANs, IEEE Transactions on Mobile Computing, 6:2, (164-178), Online publication date: 1-Feb-2007.
  795. Liebchen C and Rizzi R (2007). Classes of cycle bases, Discrete Applied Mathematics, 155:3, (337-355), Online publication date: 1-Feb-2007.
  796. Beyer D, Henzinger T, Majumdar R and Rybalchenko A Invariant synthesis for combined theories Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (378-394)
  797. Rybalchenko A and Sofronie-Stokkermans V Constraint solving for interpolation Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (346-362)
  798. McGregor A and Shepherd B Island hopping and path colouring with applications to WDM network design Proceedings of the eighteenth annual ACM-SIAM symposium on Discrete algorithms, (864-873)
  799. Chakrabarti A, Chekuri C, Gupta A and Kumar A (2007). Approximation Algorithms for the Unsplittable Flow Problem, Algorithmica, 47:1, (53-78), Online publication date: 1-Jan-2007.
  800. Subramani K and Argentieri J (2006). Chain programming over difference constraints, Nordic Journal of Computing, 13:4, (309-327), Online publication date: 1-Dec-2006.
  801. van der Aalst W (2006). Matching observed behavior and modeled behavior, Decision Support Systems, 42:3, (1843-1859), Online publication date: 1-Dec-2006.
  802. Bradley A and Manna Z Verification constraint problems with strengthening Proceedings of the Third international conference on Theoretical Aspects of Computing, (35-49)
  803. ACM
    Luican I, Zhu H and Balasa F Formal model of data reuse analysis for hierarchical memory organizations Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, (595-600)
  804. ACM
    Nieuwenhuis R, Oliveras A and Tinelli C (2006). Solving SAT and SAT Modulo Theories, Journal of the ACM, 53:6, (937-977), Online publication date: 1-Nov-2006.
  805. Roszak B and Broucke M (2006). Necessary and sufficient conditions for reachability on a simplex, Automatica (Journal of IFAC), 42:11, (1913-1918), Online publication date: 1-Nov-2006.
  806. ACM
    Seghir R and Loechner V Memory optimization by counting points in integer transformations of parametric polytopes Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, (74-82)
  807. Cerone V and Regruto D (2006). Parameter bounds evaluation of Wiener models with noninvertible polynomial nonlinearities, Automatica (Journal of IFAC), 42:10, (1775-1781), Online publication date: 1-Oct-2006.
  808. Larhlimi A and Bockmayr A A new approach to flux coupling analysis of metabolic networks Proceedings of the Second international conference on Computational Life Sciences, (205-215)
  809. Angibaud S, Fertin G, Rusu I and Vialette S How pseudo-boolean programming can help genome rearrangement distance computation Proceedings of the RECOMB 2006 international conference on Comparative Genomics, (75-86)
  810. Eisenbrand F and Shmonin G (2006). Carathéodory bounds for integer cones, Operations Research Letters, 34:5, (564-568), Online publication date: 1-Sep-2006.
  811. Lichtblau D Making change and finding repfigits Proceedings of the Second international conference on Mathematical Software, (182-193)
  812. Dutertre B and de Moura L A fast linear-arithmetic solver for DPLL(T) Proceedings of the 18th international conference on Computer Aided Verification, (81-94)
  813. Lahiri S and Musuvathi M Solving sparse linear constraints Proceedings of the Third international joint conference on Automated Reasoning, (468-482)
  814. Plambeck E and Ward A (2006). Optimal Control of a High-Volume Assemble-to-Order System, Mathematics of Operations Research, 31:3, (453-477), Online publication date: 1-Aug-2006.
  815. Ramachandran P Use of extended euclidean algorithm in solving a system of linear diophantine equations with bounded variables Proceedings of the 7th international conference on Algorithmic Number Theory, (182-192)
  816. Bagnara R, Dobson K, Hill P, Mundell M and Zaffanella E Grids Proceedings of the 16th international conference on Logic-based program synthesis and transformation, (219-235)
  817. Epstein L and Levin A A robust APTAS for the classical bin packing problem Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I, (214-225)
  818. Kwiatkowska M, Norman G, Parker D and Sproston J (2006). Performance analysis of probabilistic timed automata using digital clocks, Formal Methods in System Design, 29:1, (33-78), Online publication date: 1-Jul-2006.
  819. ACM
    Vasilache N, Bastoul C, Cohen A and Girbal S Violated dependence analysis Proceedings of the 20th annual international conference on Supercomputing, (335-344)
  820. van Hee K, Oanea O, Sidorova N and Voorhoeve M Verifying generalized soundness of workflow nets Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics, (235-247)
  821. Best E, Esparza J, Wimmel H and Wolf K Separability in conflict-free petri nets Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics, (1-18)
  822. Li H, Muskulus M and Wolters L Modeling job arrivals in a data-intensive grid Proceedings of the 12th international conference on Job scheduling strategies for parallel processing, (210-231)
  823. Svensson O and Vorobyov S Linear programming polytope and algorithm for mean payoff games Proceedings of the Second international conference on Algorithmic Aspects in Information and Management, (64-78)
  824. Feschet F The exact lattice width of planar sets and minimal arithmetical thickness Proceedings of the 11th international conference on Combinatorial Image Analysis, (25-33)
  825. Coeurjolly D and Brimkov V Computational aspects of digital plane and hyperplane recognition Proceedings of the 11th international conference on Combinatorial Image Analysis, (291-306)
  826. Gross-Amblard D and de Rougemont M (2006). Uniform generation in spatial constraint databases and applications, Journal of Computer and System Sciences, 72:4, (576-591), Online publication date: 1-Jun-2006.
  827. Kern W and Woeginger G Quadratic programming and combinatorial minimum weight product problems Proceedings of the 6th Italian conference on Algorithms and Complexity, (42-49)
  828. ACM
    Kelner J and Spielman D A randomized polynomial-time simplex algorithm for linear programming Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing, (51-60)
  829. Dyer M and Stougie L (2006). Computational complexity of stochastic programming problems, Mathematical Programming: Series A and B, 106:3, (423-432), Online publication date: 1-May-2006.
  830. Bassamboo A, Harrison J and Zeevi A (2006). Design and Control of a Large Call Center, Operations Research, 54:3, (419-435), Online publication date: 1-May-2006.
  831. Beaumont O, Marchal L, Rehn V and Robert Y FIFO scheduling of divisible loads with return messages under the one-port model Proceedings of the 20th international conference on Parallel and distributed processing, (160-160)
  832. Besson F Fast reflexive arithmetic tactics the linear case and beyond Proceedings of the 2006 international conference on Types for proofs and programs, (48-62)
  833. Vasilache N, Bastoul C and Cohen A Polyhedral code generation in the real world Proceedings of the 15th international conference on Compiler Construction, (185-201)
  834. Bicchi A, Marigo A and Piccoli B Improving efficiency of finite plans by optimal choice of input sets Proceedings of the 9th international conference on Hybrid Systems: computation and control, (108-122)
  835. Schröder L A finite model construction for coalgebraic modal logic Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures, (157-171)
  836. Dutta H, Hannig F and Teich J Controller synthesis for mapping partitioned programs on array architectures Proceedings of the 19th international conference on Architecture of Computing Systems, (176-190)
  837. Zhu H, Luican I and Balasa F Memory size computation for multimedia processing applications Proceedings of the 2006 Asia and South Pacific Design Automation Conference, (802-807)
  838. Jain K and Varadarajan K Equilibria for economies with production Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, (688-697)
  839. Hajiaghayi M and Jain K The prize-collecting generalized steiner tree problem via a new approach of primal-dual schema Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, (631-640)
  840. Bradley A, Manna Z and Sipma H What's decidable about arrays? Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation, (427-442)
  841. Subramani K Totally clairvoyant scheduling with relative timing constraints Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation, (398-411)
  842. Xiao Y, Thulasiraman K and Xue G GEN-LARAC Proceedings of the 16th international conference on Algorithms and Computation, (92-105)
  843. Bodlaender H, Brandstädt A, Kratsch D, Rao M and Spinrad J (2005). On algorithms for (P5,gem)-free graphs, Theoretical Computer Science, 349:1, (2-21), Online publication date: 12-Dec-2005.
  844. Bordes A, Ertekin S, Weston J and Bottou L (2005). Fast Kernel Classifiers with Online and Active Learning, The Journal of Machine Learning Research, 6, (1579-1619), Online publication date: 1-Dec-2005.
  845. Menon A (2005). Aspects of the Binary CMAC, Neural Processing Letters, 22:3, (263-276), Online publication date: 1-Dec-2005.
  846. Emiris I and Zervoudakis K Successive linear programs for computing all integral points in a minkowski sum Proceedings of the 10th Panhellenic conference on Advances in Informatics, (90-100)
  847. Schellewald C and Schnörr C Probabilistic subgraph matching based on convex relaxation Proceedings of the 5th international conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, (171-186)
  848. Vanbroekhoven P, Janssens G, Bruynooghe M and Catthoor F Transformation to dynamic single assignment using a simple data flow analysis Proceedings of the Third Asian conference on Programming Languages and Systems, (330-346)
  849. Lübbecke M and Desrosiers J (2005). Selected Topics in Column Generation, Operations Research, 53:6, (1007-1023), Online publication date: 1-Nov-2005.
  850. ACM
    Benkoczi R, Hassanein H, Akl S and Tai S QoS for data relaying in hierarchical wireless sensor networks Proceedings of the 1st ACM international workshop on Quality of service & security in wireless and mobile networks, (47-54)
  851. Subramani K Stressing is better than relaxing for negative cost cycle detection in networks Proceedings of the 4th international conference on Ad-Hoc, Mobile, and Wireless Networks, (320-333)
  852. Villarreal R (2005). Normality of semigroups with some links to graph theory, Discrete Mathematics, 302:1-3, (267-284), Online publication date: 1-Oct-2005.
  853. Gitler I and Valencia C (2005). Multiplicities of edge subrings, Discrete Mathematics, 302:1-3, (107-123), Online publication date: 1-Oct-2005.
  854. Alcántar A (2005). Rees algebras of square-free Veronese ideals and their a-invariants, Discrete Mathematics, 302:1-3, (7-21), Online publication date: 1-Oct-2005.
  855. Simon A and King A Exploiting sparsity in polyhedral analysis Proceedings of the 12th international conference on Static Analysis, (336-351)
  856. Filippi C and Agnetis A (2005). An asymptotically exact algorithm for the high-multiplicity bin packing problem, Mathematical Programming: Series A and B, 104:1, (21-37), Online publication date: 1-Sep-2005.
  857. Obua S Proving bounds for real linear programs in Isabelle/HOL Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics, (227-244)
  858. Krysta P Bicriteria Network Design via Iterative Rounding Proceedings of the 11th Annual International Conference on Computing and Combinatorics - Volume 3595, (179-187)
  859. ACM
    Constantin C, Gross-Amblard D and Guerrouani M Watermill Proceedings of the 7th workshop on Multimedia and security, (143-155)
  860. Béal M, Lombardy S and Sakarovitch J On the equivalence of Z-automata Proceedings of the 32nd international conference on Automata, Languages and Programming, (397-409)
  861. Bradley A, Manna Z and Sipma H The polyranking principle Proceedings of the 32nd international conference on Automata, Languages and Programming, (1349-1361)
  862. Bradley A, Manna Z and Sipma H Linear ranking with reachability Proceedings of the 17th international conference on Computer Aided Verification, (491-504)
  863. Nieuwenhuis R and Oliveras A DPLL(T) with exhaustive theory propagation and its application to difference logic Proceedings of the 17th international conference on Computer Aided Verification, (321-334)
  864. Jaeger M (2005). Ignorability in statistical and probabilistic inference, Journal of Artificial Intelligence Research, 24:1, (889-917), Online publication date: 1-Jul-2005.
  865. Huang S Inverse problems of some NP-complete problems Proceedings of the First international conference on Algorithmic Applications in Management, (422-426)
  866. Oswald M, Reinelt G and Theis D Not every GTSP facet induces an STSP facet Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization, (468-482)
  867. Eisenbrand F, Oriolo G, Stauffer G and Ventura P Circular ones matrices and the stable set polytope of quasi-line graphs Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization, (291-305)
  868. Amaldi E, Belotti P and Hauser R Randomized relaxation methods for the maximum feasible subsystem problem Proceedings of the 11th international conference on Integer Programming and Combinatorial Optimization, (249-264)
  869. De Loera J, Haws D, Hemmecke R, Huggins P and Yoshida R (2005). A computational study of integer programming algorithms based on Barvinok's rational functions, Discrete Optimization, 2:2, (135-144), Online publication date: 1-Jun-2005.
  870. Brun M and Römer T (2005). Subdivisions of Toric Complexes, Journal of Algebraic Combinatorics: An International Journal, 21:4, (423-448), Online publication date: 1-Jun-2005.
  871. Becker B, Behle M, Eisenbrand F and Wimmer R BDDs in a branch and cut framework Proceedings of the 4th international conference on Experimental and Efficient Algorithms, (452-463)
  872. Lafourcade P, Lugiez D and Treinen R Intruder deduction for AC-like equational theories with homomorphisms Proceedings of the 16th international conference on Term Rewriting and Applications, (308-322)
  873. Baruah S and Fisher N Code-Size Minimization in Multiprocessor Real-Time Systems Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
  874. Verdoolaege S, Beyls K, Bruynooghe M and Catthoor F Experiences with enumeration of integer projections of parametric polytopes Proceedings of the 14th international conference on Compiler Construction, (91-105)
  875. Subramani K (2005). Periodic Linear Programming with applications to real-time scheduling, Mathematical Structures in Computer Science, 15:2, (383-406), Online publication date: 1-Apr-2005.
  876. Subramani K (2005). An Analysis of Totally Clairvoyant Scheduling, Journal of Scheduling, 8:2, (113-133), Online publication date: 1-Apr-2005.
  877. Littman M and Stone P (2005). A polynomial-time Nash equilibrium algorithm for repeated games, Decision Support Systems, 39:1, (55-66), Online publication date: 1-Mar-2005.
  878. Beaumont O, Casanova H, Legrand A, Robert Y and Yang Y (2005). Scheduling Divisible Loads on Star and Tree Networks, IEEE Transactions on Parallel and Distributed Systems, 16:3, (207-218), Online publication date: 1-Mar-2005.
  879. Clarkson K Subgradient and sampling algorithms for l1 regression Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms, (257-266)
  880. Sankaranarayanan S, Sipma H and Manna Z Scalable analysis of linear systems using mathematical programming Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, (25-41)
  881. Solis-Oba R Approximation algorithms for the k-median problem Efficient Approximation and Online Algorithms, (292-320)
  882. Erlebach T Approximation algorithms for edge-disjoint paths and unsplittable flow Efficient Approximation and Online Algorithms, (97-134)
  883. Bruni R (2005). On Exact Selection of Minimally Unsatisfiable Subformulae, Annals of Mathematics and Artificial Intelligence, 43:1-4, (35-50), Online publication date: 1-Jan-2005.
  884. Subramani K Zero-Clairvoyant scheduling with inter-period constraints Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, (236-247)
  885. Dentcheva D and Römisch W (2004). Duality gaps in nonconvex stochastic optimization, Mathematical Programming: Series A and B, 101:3, (515-535), Online publication date: 1-Dec-2004.
  886. Obuchowska W (2004). Remarks on the Analytic Centers of Convex Sets, Computational Optimization and Applications, 29:1, (69-90), Online publication date: 1-Oct-2004.
  887. Hayward R and Shamir R (2004). A note on tolerance graph recognition, Discrete Applied Mathematics, 143:1-3, (307-311), Online publication date: 30-Sep-2004.
  888. Venkateswaran V (2004). Minimizing maximum indegree, Discrete Applied Mathematics, 143:1-3, (374-378), Online publication date: 30-Sep-2004.
  889. Bastoul C Code Generation in the Polyhedral Model Is Easier Than You Think Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, (7-16)
  890. ACM
    Verdoolaege S, Seghir R, Beyls K, Loechner V and Bruynooghe M Analytical computation of Ehrhart polynomials Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems, (248-258)
  891. Betke U (2004). Relaxation, New Combinatorial and Polynomial Algorithms for the Linear Feasibility Problem, Discrete & Computational Geometry, 32:3, (317-338), Online publication date: 1-Sep-2004.
  892. Geerts F, Mannila H and Terzi E Relational link-based ranking Proceedings of the Thirtieth international conference on Very large data bases - Volume 30, (552-563)
  893. Serebrenik A and Mesnard F On termination of binary CLP programs Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation, (231-244)
  894. Colón M Schema-guided synthesis of imperative programs by constraint solving Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation, (166-181)
  895. Rassart E (2004). A polynomiality property for Littlewood-Richardson coefficients, Journal of Combinatorial Theory Series A, 107:2, (161-179), Online publication date: 1-Aug-2004.
  896. Kern-Isberner G and Lukasiewicz T (2004). Combining probabilistic logic programming with the power of maximum entropy, Artificial Intelligence, 157:1-2, (139-202), Online publication date: 1-Aug-2004.
  897. Schumacher J (2004). Complementarity systems in optimization, Mathematical Programming: Series A and B, 101:1, (263-295), Online publication date: 1-Aug-2004.
  898. Lugiez D From automata to semilinear sets Proceedings of the 9th international conference on Implementation and Application of Automata, (321-322)
  899. Godoy G and Nieuwenhuis R (2004). Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups, Constraints, 9:3, (167-192), Online publication date: 1-Jul-2004.
  900. Demidenko V (2004). Conic Characterization of Monge Matrices, Cybernetics and Systems Analysis, 40:4, (537-546), Online publication date: 1-Jul-2004.
  901. Conforti M, Galluccio A and Proietti G Edge-Connectivity augmentation and network matrices Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science, (355-364)
  902. Liebchen C and Möhring R The modeling power of the periodic event scheduling problem Proceedings of the 4th international Dagstuhl, ATMOS conference on Algorithmic approaches for transportation modeling, optimization, and systems, (3-40)
  903. Chabini N and Wolf W (2004). Reducing dynamic power consumption in synchronous sequential digital designs using retiming and supply voltage scaling, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 12:6, (573-589), Online publication date: 1-Jun-2004.
  904. Klamroth K, Tind J and Zust S (2004). Integer Programming Duality in Multiple Objective Programming, Journal of Global Optimization, 29:1, (1-18), Online publication date: 1-May-2004.
  905. Hoşten S, Maclagan D and Sturmfels B (2004). Supernormal Vector Configurations, Journal of Algebraic Combinatorics: An International Journal, 19:3, (297-313), Online publication date: 1-May-2004.
  906. ACM
    Lam M and Wolf M (2004). A data locality optimizing algorithm, ACM SIGPLAN Notices, 39:4, (442-459), Online publication date: 1-Apr-2004.
  907. Kadayif I and Kandemir M Tuning In-Sensor Data Filtering to Reduce Energy Consumption in Wireless Sensor Networks Proceedings of the conference on Design, automation and test in Europe - Volume 2
  908. Boigelot B and Latour L (2004). Counting the solutions of Presburger equations without enumerating them, Theoretical Computer Science, 313:1, (17-29), Online publication date: 16-Feb-2004.
  909. Baier C, Hermanns H and Katoen J (2004). Probabilistic weak simulation is decidable in polynomial time, Information Processing Letters, 89:3, (123-130), Online publication date: 14-Feb-2004.
  910. ACM
    Sankaranarayanan S, Sipma H and Manna Z Non-linear loop invariant generation using Gröbner bases Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (318-329)
  911. Althaus E, Eisenbrand F, Funke S and Mehlhorn K Point containment in the integer hull of a polyhedron Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms, (929-933)
  912. ACM
    Sankaranarayanan S, Sipma H and Manna Z (2004). Non-linear loop invariant generation using Gröbner bases, ACM SIGPLAN Notices, 39:1, (318-329), Online publication date: 1-Jan-2004.
  913. Filippi C (2004). An Algorithm for Approximate Multiparametric Linear Programming, Journal of Optimization Theory and Applications, 120:1, (73-95), Online publication date: 1-Jan-2004.
  914. Lancia G (2004). Integer programming models for computational biology problems, Journal of Computer Science and Technology, 19:1, (60-77), Online publication date: 1-Jan-2004.
  915. Delzanno G (2003). Constraint-Based Verification of Parameterized Cache Coherence Protocols, Formal Methods in System Design, 23:3, (257-301), Online publication date: 1-Nov-2003.
  916. ACM
    Ganapathy V, Jha S, Chandler D, Melski D and Vitek D Buffer overrun detection using linear programming and static analysis Proceedings of the 10th ACM conference on Computer and communications security, (345-354)
  917. Kashiwabara K and Okamoto Y (2003). A greedy algorithm for convex geometries, Discrete Applied Mathematics, 131:2, (449-465), Online publication date: 12-Sep-2003.
  918. Subramani K An analysis of quantified linear programs Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science, (265-277)
  919. Naumov A and Ulanov S (2003). Risk in Two-Stage Optimal Resource Allocation, Automation and Remote Control, 64:7, (1115-1121), Online publication date: 1-Jul-2003.
  920. de Pina J and Soares J (2003). Improved bound for the Carathéodory rank of the bases of a matroid, Journal of Combinatorial Theory Series B, 88:2, (323-327), Online publication date: 1-Jul-2003.
  921. Chekuri C, Mydlarz M and Shepherd F Multicommodity demand flow in a tree Proceedings of the 30th international conference on Automata, languages and programming, (410-425)
  922. Kelbassa H Optimal case-based refinement of adaptation rule bases for engineering design Proceedings of the 5th international conference on Case-based reasoning: Research and Development, (201-215)
  923. Korovin K and Voronkov A (2003). Orienting rewrite rules with the Knuth--Bendix order, Information and Computation, 183:2, (165-186), Online publication date: 15-Jun-2003.
  924. ACM
    Littman M and Stone P A polynomial-time nash equilibrium algorithm for repeated games Proceedings of the 4th ACM conference on Electronic commerce, (48-54)
  925. ACM
    Goldin D, Kutlu A and Song M Extending the constraint database framework Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday, (42-54)
  926. Abdelbar A, Andrews E and Wunsch D (2003). Abductive reasoning with recurrent neural networks, Neural Networks, 16:5-6, (665-673), Online publication date: 1-Jun-2003.
  927. Kis T and Hertz A (2003). A lower bound for the job insertion problem, Discrete Applied Mathematics, 128:2-3, (395-419), Online publication date: 1-Jun-2003.
  928. Lasserre J The integer hull of a convex rational polytope Proceedings of the 2003 international conference on Computational science and its applications: PartIII, (866-875)
  929. Lasserre J A discrete Farkas Lemma Proceedings of the 2003 international conference on Computational science and its applications: PartI, (273-281)
  930. Aceto L, Ésik Z and Ingólfsdóttir A (2003). Equational theories of tropical semirings, Theoretical Computer Science, 298:3, (417-469), Online publication date: 11-Apr-2003.
  931. Nguyen T, Irigoin F, Ancourt C and Coelho F Automatic detection of uninitialized variables Proceedings of the 12th international conference on Compiler construction, (217-231)
  932. ACM
    Mesnard F and Ruggieri S (2003). On proving left termination of constraint logic programs, ACM Transactions on Computational Logic, 4:2, (207-259), Online publication date: 1-Apr-2003.
  933. Aceto L, Ésik Z and Ingólfsdóttir A (2003). The max-plus algebra of the natural numbers has no finite equational basis, Theoretical Computer Science, 293:1, (169-188), Online publication date: 3-Feb-2003.
  934. Fleiner T (2003). A fixed-point approach to stable matchings and some applications, Mathematics of Operations Research, 28:1, (103-126), Online publication date: 1-Feb-2003.
  935. Verweij B, Ahmed S, Kleywegt A, Nemhauser G and Shapiro A (2003). The Sample Average Approximation Method Applied to Stochastic Routing Problems, Computational Optimization and Applications, 24:2-3, (289-333), Online publication date: 1-Feb-2003.
  936. Kleinberg J, Papadimitriou C and Raghavan P (2003). Auditing Boolean attributes, Journal of Computer and System Sciences, 66:1, (244-253), Online publication date: 1-Feb-2003.
  937. Chekuri C and Khanna S Edge disjoint paths revisited Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms, (628-637)
  938. Júdice J, Patricio J, Portugal L, Resende M and Veiga G (2003). A Study of Preconditioners for Network Interior Point Methods, Computational Optimization and Applications, 24:1, (5-35), Online publication date: 1-Jan-2003.
  939. Hodzic E and Shang W (2002). On Time Optimal Supernode Shape, IEEE Transactions on Parallel and Distributed Systems, 13:12, (1220-1233), Online publication date: 1-Dec-2002.
  940. Marchand H, Martin A, Weismantel R and Wolsey L (2002). Cutting planes in integer and mixed integer programming, Discrete Applied Mathematics, 123:1-3, (397-446), Online publication date: 15-Nov-2002.
  941. Cornuéjols G and Guenin B (2002). Ideal clutters, Discrete Applied Mathematics, 123:1-3, (303-338), Online publication date: 15-Nov-2002.
  942. Aardal K, Weismantel R and Wolsey L (2002). Non-standard approaches to integer programming, Discrete Applied Mathematics, 123:1-3, (5-74), Online publication date: 15-Nov-2002.
  943. Hoten S and Maclagan D (2002). The vertex ideal of a lattice, Advances in Applied Mathematics, 29:4, (521-538), Online publication date: 1-Nov-2002.
  944. ACM
    Shafarenko A Coercion as homomorphism Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (14-25)
  945. Gaillard A, Groeflin H, Hoffman A and Pulleyblank W (2002). On the submodular matrix representation of a digraph, Theoretical Computer Science, 287:2, (563-570), Online publication date: 28-Sep-2002.
  946. Borkar V, Chandru V and Mitter S (2002). Mathematical Programming Embeddings of Logic, Journal of Automated Reasoning, 29:1, (91-106), Online publication date: 25-Sep-2002.
  947. Koubarakis M (2002). Querying Temporal Constraint Networks, Applied Intelligence, 17:3, (297-311), Online publication date: 3-Sep-2002.
  948. ACM
    Gupta G, Rajopadhye S and Quinton P Scheduling reductions on realistic machines Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures, (117-126)
  949. Aho I (2002). New polynomial-time instances to various knapsack-type problems, Fundamenta Informaticae, 53:3-4, (199-228), Online publication date: 1-Aug-2002.
  950. Koranne S (2002). A Novel Reconfigurable Wrapper for Testing of Embedded Core-Based SOCs and its Associated Scheduling Algorithm, Journal of Electronic Testing: Theory and Applications, 18:4-5, (415-434), Online publication date: 1-Aug-2002.
  951. Griebl M, Feautrier P and Größlinger A Forward communication only placements and their use for parallel program construction Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing, (16-30)
  952. Alon N, Kalai G, Matouek J and Meshulam R (2002). Transversal numbers for hypergraphs arising in geometry, Advances in Applied Mathematics, 29:1, (79-101), Online publication date: 1-Jul-2002.
  953. ACM
    Koushanfar F, Wong J, Feng J and Potkonjak M ILP-based engineering change Proceedings of the 39th annual Design Automation Conference, (910-915)
  954. ACM
    Wu X and Barbará D (2002). Learning missing values from summary constraints, ACM SIGKDD Explorations Newsletter, 4:1, (21-30), Online publication date: 1-Jun-2002.
  955. Aho I (2002). New polynomial-time instances to various knapsack-type problems, Fundamenta Informaticae, 53:3,4, (199-228), Online publication date: 30-May-2002.
  956. ACM
    Agol I, Hass J and Thurston W 3-manifold knot genus is NP-complete Proceedings of the thiry-fourth annual ACM symposium on Theory of computing, (761-766)
  957. ACM
    Hallgren S Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem Proceedings of the thiry-fourth annual ACM symposium on Theory of computing, (653-658)
  958. Kochol M (2002). Polynomials Associated with Nowhere-Zero Flows, Journal of Combinatorial Theory Series B, 84:2, (260-269), Online publication date: 1-Mar-2002.
  959. Todd M (2002). The many facets of linear programming, Mathematical Programming: Series A and B, 91:3, (417-436), Online publication date: 1-Feb-2002.
  960. Cunningham W (2002). Matching, matroids, and extensions, Mathematical Programming: Series A and B, 91:3, (515-542), Online publication date: 1-Feb-2002.
  961. Brinkmann R and Drechsler R RTL-Datapath Verification using Integer Linear Programming Proceedings of the 2002 Asia and South Pacific Design Automation Conference
  962. Eisenbrand F, Rinaldi G and Ventura P 0/1 optimization and 0/1 primal separation are equivalent Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms, (920-926)
  963. Asano T, Katoh N, Obokata K and Tokuyama T Matrix rounding under the L-discrepancy measure and its application to digital halftoning Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms, (896-904)
  964. Parekh O Edge dominating and hypomatchable sets Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms, (287-291)
  965. Durand A, Hermann M and Juban L (2002). On the complexity of recognizing the Hilbert basis of a linear diophantine system, Theoretical Computer Science, 270:1-2, (625-642), Online publication date: 6-Jan-2002.
  966. Bednara M, Hannig F and Teich J Generation of distributed loop control Embedded processor design challenges, (154-170)
  967. Quinton P and Risset T Structured scheduling of recurrence equations Embedded processor design challenges, (112-134)
  968. Stillman M, Sturmfels B and Thomas R Algorithms for the Toric Hilbert scheme Computations in algebraic geometry with Macaulay 2, (179-213)
  969. Hashimoto R and Barrera J (2002). A Note on Park and Chin's Algorithm, IEEE Transactions on Pattern Analysis and Machine Intelligence, 24:1, (139-144), Online publication date: 1-Jan-2002.
  970. Loechner V, Meister B and Clauss P (2002). Precise Data Locality Optimization of Nested Loops, The Journal of Supercomputing, 21:1, (37-76), Online publication date: 1-Jan-2002.
  971. Hartmann S (2001). On the implication problem for cardinality constraints and functional dependencies, Annals of Mathematics and Artificial Intelligence, 33:2-4, (253-307), Online publication date: 26-Nov-2001.
  972. ACM
    Lasserre J and Zeron E (2001). A Laplace transform algorithm for the volume of a convex polytope, Journal of the ACM, 48:6, (1126-1140), Online publication date: 1-Nov-2001.
  973. ACM
    Brown T, Gabow H and Zhang Q Maximum flow-life curve for a wireless ad hoc network Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing, (128-136)
  974. ACM
    Fraboulet A, Kodary K and Mignotte A Loop fusion for memory space optimization Proceedings of the 14th international symposium on Systems synthesis, (95-100)
  975. Koubarakis M (2001). Tractable disjunctions of linear constraints, Theoretical Computer Science, 266:1-2, (311-339), Online publication date: 6-Sep-2001.
  976. Chin W and Khoo S (2001). Calculating Sized Types, Higher-Order and Symbolic Computation, 14:2-3, (261-300), Online publication date: 1-Sep-2001.
  977. Kibzun A and Nikulin I (2001). A Linear Two-Stage Stochastic Programming Problem with Quantile Criterion, Automation and Remote Control, 62:8, (1339-1348), Online publication date: 3-Aug-2001.
  978. Sheldon J, Lee W, Greenwald B and Amarasinghe S Strength reduction of integer division and modulo operations Proceedings of the 14th international conference on Languages and compilers for parallel computing, (254-273)
  979. Jha S and Wing J Survivability analysis of networked systems Proceedings of the 23rd International Conference on Software Engineering, (307-317)
  980. ACM
    Lim A, Liao S and Lam M (2001). Blocking and array contraction across arbitrarily nested loops using affine partitioning, ACM SIGPLAN Notices, 36:7, (103-112), Online publication date: 1-Jul-2001.
  981. ACM
    Thies W, Vivien F, Sheldon J and Amarasinghe S A unified framework for schedule and storage optimization Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (232-242)
  982. ACM
    Lim A, Liao S and Lam M Blocking and array contraction across arbitrarily nested loops using affine partitioning Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming, (103-112)
  983. ACM
    Song Y, Xu R, Wang C and Li Z Data locality enhancement by memory reduction Proceedings of the 15th international conference on Supercomputing, (50-64)
  984. Feautrier P Array dataflow analysis Compiler optimizations for scalable parallel systems, (173-219)
  985. Darte A, Robert Y and Vivien F Loop parallelization algorithms Compiler optimizations for scalable parallel systems, (141-171)
  986. ACM
    Thies W, Vivien F, Sheldon J and Amarasinghe S (2001). A unified framework for schedule and storage optimization, ACM SIGPLAN Notices, 36:5, (232-242), Online publication date: 1-May-2001.
  987. Fimmel D and Merker R (2001). Design of Processor Arrays for Reconfigurable Architectures, The Journal of Supercomputing, 19:1, (41-56), Online publication date: 1-May-2001.
  988. ACM
    Touati S Optimal acyclic fine-grain scheduling with cache effects for embedded and real time systems Proceedings of the ninth international symposium on Hardware/software codesign, (159-164)
  989. Grumbach S, Rigaux P and Segoufin L (2001). Spatio-Temporal Data Handling with Constraints, Geoinformatica, 5:1, (95-115), Online publication date: 1-Mar-2001.
  990. Pellegrini M Randomizing combinatorial algorithms for linear programming when the dimension is moderately high Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms, (101-108)
  991. Quilleré F, Rajopadhye S and Wilde D (2000). Generation of Efficient Nested Loops from Polyhedra, International Journal of Parallel Programming, 28:5, (469-498), Online publication date: 1-Oct-2000.
  992. Yu Y and D'Hollander E Partitioning Loops with Variable Dependence Distances Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing
  993. Aardal K, Hurkens C and Lenstra A (2000). Solving a System of Linear Diophantine Equations with Lower and Upper Bounds on the Variables, Mathematics of Operations Research, 25:3, (427-442), Online publication date: 1-Aug-2000.
  994. Hashimoto R, Barrera J and Ferreira C (2000). A Combinatorial Optimization Technique for the Sequential Decomposition of Erosions and Dilations, Journal of Mathematical Imaging and Vision, 13:1, (17-33), Online publication date: 1-Aug-2000.
  995. Barthou D, Cohen A and Collard J (2000). Maximal Static Expansion, International Journal of Parallel Programming, 28:3, (213-243), Online publication date: 1-Jun-2000.
  996. Catalano D, Gennaro R and Halevi S Computing inverses over a shared secret modulus Proceedings of the 19th international conference on Theory and application of cryptographic techniques, (190-206)
  997. ACM
    Gross D and de Rougemont M Uniform generation in spatial constraint databases and applications (Extended abstract) Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (254-259)
  998. ACM
    Kreutzer S Fixed-point query languages for linear constraint databases Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (116-125)
  999. ACM
    Kleinberg J, Papadimitriou C and Raghavan P Auditing Boolean attributes Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (86-91)
  1000. Theiling H, Ferdinand C and Wilhelm R (2000). Fast and Precise WCET Prediction by Separated Cache andPath Analyses, Real-Time Systems, 18:2/3, (157-179), Online publication date: 1-May-2000.
  1001. Marongiu A and Palazzari P (2000). Automatic Mapping of System of N-Dimensional Affine Recurrence Equations (SARE) onto Distributed Memory Parallel Systems, IEEE Transactions on Software Engineering, 26:3, (262-275), Online publication date: 1-Mar-2000.
  1002. Esparza J and Melzer S (2000). Verification of Safety Properties Using IntegerProgramming, Formal Methods in System Design, 16:2, (159-189), Online publication date: 1-Mar-2000.
  1003. McCormick S and Shioura A Minimum ratio canceling is oracle polynomial for linear programming, but not strongly polynomial, even for networks Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms, (944-952)
  1004. de Pina J and Soares J A new bound for the Carathéodory rank of the bases of a matroid Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms, (942-943)
  1005. Althaus E and Mehlhorn K TSP-based curve reconstruction in polynomial time Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms, (686-695)
  1006. Lyness J and Joe S (1999). A Constructive Approach to Lattice Rule Canonical Forms, BIT, 39:4, (701-715), Online publication date: 1-Dec-1999.
  1007. Porembski M (1999). How to Extend the Concept of Convexity Cuts to Derive Deeper Cutting Planes, Journal of Global Optimization, 15:4, (371-404), Online publication date: 1-Dec-1999.
  1008. Fraboulet A, Huard G and Mignotte A Loop Alignment for Memory Accesses Optimization Proceedings of the 12th international symposium on System synthesis
  1009. Wilson R (1999). Signed Hypergraph Designs and Diagonal Forms for Some IncidenceMatrices, Designs, Codes and Cryptography, 17:1-3, (289-297), Online publication date: 1-Sep-1999.
  1010. ACM
    Beckermann B, Labahn G and Villard G Shifted normal forms of polynomial matrices Proceedings of the 1999 international symposium on Symbolic and algebraic computation, (189-196)
  1011. Ke J and Tsay J (1999). An Approach to Checking Link Conflicts in the Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays, IEEE Transactions on Computers, 48:7, (732-737), Online publication date: 1-Jul-1999.
  1012. Dang C and Maaren H (1999). An Arbitrary Starting Variable Dimension Algorithm for Computing an Integer Point of a Simplex, Computational Optimization and Applications, 14:1, (133-155), Online publication date: 1-Jul-1999.
  1013. ACM
    Lim A, Cheong G and Lam M An affine partitioning algorithm to maximize parallelism and minimize communication Proceedings of the 13th international conference on Supercomputing, (228-237)
  1014. ACM
    Jagadish H, Ng R and Srivastava D Substring selectivity estimation Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (249-260)
  1015. Hooker J (1999). Inference Duality as a Basis for Sensitivity Analysis, Constraints, 4:2, (101-112), Online publication date: 1-May-1999.
  1016. Kandemir M, Choudhary A, Shenoy N, Banerjee P and Ramanujam J (1999). A Linear Algebra Framework for Automatic Determination of Optimal Data Layouts, IEEE Transactions on Parallel and Distributed Systems, 10:2, (115-135), Online publication date: 1-Feb-1999.
  1017. Kandemir M, Choudhary A, Ramanujam J and Banerjee P Improving locality using loop and data transformations in an integrated framework Proceedings of the 31st annual ACM/IEEE international symposium on Microarchitecture, (285-297)
  1018. ACM
    Grumbach S, Rigaux P and Segoufin L Spatio-temporal data handling with constraints Proceedings of the 6th ACM international symposium on Advances in geographic information systems, (106-111)
  1019. Caseau Y and Kokeny T (1998). An Inventory Management Problem, Constraints, 3:4, (363-373), Online publication date: 1-Oct-1998.
  1020. Privault C and Hérault L (1998). Constraints Satisfaction through Recursive Neural Networks withMixed Penalties, Neural Processing Letters, 8:1, (15-26), Online publication date: 1-Aug-1998.
  1021. ACM
    Kandemir M, Choudhary A, Shenoy N, Banerjee P and Ramanujam J A hyperplane based approach for optimizing spatial locality in loop nests Proceedings of the 12th international conference on Supercomputing, (69-76)
  1022. ACM
    Grumbach S, Rigaux P and Segoufin L (1998). The DEDALE system for complex spatial queries, ACM SIGMOD Record, 27:2, (213-224), Online publication date: 1-Jun-1998.
  1023. ACM
    Grumbach S, Rigaux P and Segoufin L The DEDALE system for complex spatial queries Proceedings of the 1998 ACM SIGMOD international conference on Management of data, (213-224)
  1024. ACM
    Albers S, Garg N and Leonardi S Minimizing stall time in single and parallel disk systems Proceedings of the thirtieth annual ACM symposium on Theory of computing, (454-462)
  1025. ACM
    Adve V and Mellor-Crummey J (1998). Using integer sets for data-parallel program analysis and optimization, ACM SIGPLAN Notices, 33:5, (186-198), Online publication date: 1-May-1998.
  1026. ACM
    Adve V and Mellor-Crummey J Using integer sets for data-parallel program analysis and optimization Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (186-198)
  1027. Zimmermann K and Achtziger W (1998). On Time Optimal Implementation of Uniform Recurrences onto Array Processors via Quadratic Programming, Journal of VLSI Signal Processing Systems, 19:1, (19-38), Online publication date: 1-May-1998.
  1028. ACM
    Wohlmuth O and Mayer-Lindenberg F A method for them embedding of arbitrary communication topologies into configurable parallel computers Proceedings of the 1998 ACM symposium on Applied Computing, (569-574)
  1029. Calland P, Darte A and Robert Y (1998). Circuit Retiming Applied to Decomposed Software Pipelining, IEEE Transactions on Parallel and Distributed Systems, 9:1, (24-35), Online publication date: 1-Jan-1998.
  1030. Murota K (1998). Discrete convex analysis, Mathematical Programming: Series A and B, 83:1-3, (313-371), Online publication date: 1-Jan-1998.
  1031. ACM
    Mehlhorn K, Müller M, Näher S, Schirra S, Seel M, Uhrig C and Ziegler J A computational basis for higher-dimensional computational geometry and applications Proceedings of the thirteenth annual symposium on Computational geometry, (254-263)
  1032. Fimmel D and Merker R Determination of the Processor Functionality in the Design of Processor Arrays Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
  1033. Malvestuto F and Moscarini M (1997). Suppressing marginal totals from a two-dimensional table to protect sensitive information, Statistics and Computing, 7:2, (101-114), Online publication date: 1-Jun-1997.
  1034. Porkolab L and Khachiyan L (1997). On the Complexity of Semidefinite Programs, Journal of Global Optimization, 10:4, (351-365), Online publication date: 1-Jun-1997.
  1035. Brodsky A (1997). Constraint Databases, Constraints, 2:1, (35-44), Online publication date: 1-Apr-1997.
  1036. Horst R and Thoai N (1997). Utility Function Programs and Optimization over the Efficient Set in Multiple-Objective Decision Making, Journal of Optimization Theory and Applications, 92:3, (605-631), Online publication date: 1-Mar-1997.
  1037. Wang Y and Monteiro R (1997). Nondegeneracy of Polyhedra and Linear Programs, Computational Optimization and Applications, 7:2, (221-237), Online publication date: 1-Mar-1997.
  1038. Zimmermann K and Achtziger W (1997). Finding Space-Time Transformations for Uniform Recurrences viaBranching Parametric Linear Programming, Journal of VLSI Signal Processing Systems, 15:3, (259-274), Online publication date: 1-Mar-1997.
  1039. Deng X, Ibaraki T and Nagamochi H Combinatorial optimization games Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms, (720-729)
  1040. McCormick S, Smallwood S and Spieksma F Polynomial algorithms for multiprocessor scheduling with a small number of job lengths Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms, (509-517)
  1041. ACM
    Lukasiewicz T Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events Proceedings of the sixth international conference on Information and knowledge management, (75-82)
  1042. ACM
    Lim A and Lam M Maximizing parallelism and minimizing synchronization with affine transforms Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (201-214)
  1043. ACM
    Kühnle K and Mayr E Exponential space computation of Gröbner bases Proceedings of the 1996 international symposium on Symbolic and algebraic computation, (63-71)
  1044. ACM
    Pottier L The Euclidean algorithm in dimension n Proceedings of the 1996 international symposium on Symbolic and algebraic computation, (40-42)
  1045. Shang W, Hodzic E and Chen Z (1996). On Uniformization of Affine Dependence Algorithms, IEEE Transactions on Computers, 45:7, (827-840), Online publication date: 1-Jul-1996.
  1046. Lisper B (1996). Preconditioning index set transformations for time-optimal affine scheduling, Algorithmica, 15:2, (193-203), Online publication date: 1-Feb-1996.
  1047. Babai L, Beals R, Cai J, Ivanyos G and Luks E Multiplicative equations over commuting matrices Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms, (498-507)
  1048. McCormick S A polynomial algorithm for abstract maximum flow Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms, (490-497)
  1049. Jansen M and Vermeulen A (1996). On strictly proper equilibria, Journal of Optimization Theory and Applications, 88:1, (123-137), Online publication date: 1-Jan-1996.
  1050. ACM
    Clauss P Counting solutions to linear and nonlinear constraints through Ehrhart polynomials Proceedings of the 10th international conference on Supercomputing, (278-285)
  1051. Verschelde J, Gatermann K and Cools R (1996). Mixed-volume computation by dynamic lifting applied to polynomial system solving, Discrete & Computational Geometry, 16:1, (69-112), Online publication date: 1-Jan-1996.
  1052. Deza M and Onn S (1995). Lattice-free polytopes and their diameter, Discrete & Computational Geometry, 13:1, (59-75), Online publication date: 1-Dec-1995.
  1053. Agarwal A, Kranz D and Natarajan V (1995). Automatic Partitioning of Parallel Loops and Data Arrays for Distributed Shared-Memory Multiprocessors, IEEE Transactions on Parallel and Distributed Systems, 6:9, (943-962), Online publication date: 1-Sep-1995.
  1054. Littman M, Dean T and Kaelbling L On the complexity of solving Markov decision problems Proceedings of the Eleventh conference on Uncertainty in artificial intelligence, (394-402)
  1055. Fernández A, Llabería J and Valero-García M (1995). Loop Transformation Using Nonunimodular Matrices, IEEE Transactions on Parallel and Distributed Systems, 6:8, (832-840), Online publication date: 1-Aug-1995.
  1056. ACM
    Li W Compiler cache optimizations for banded matrix problems Proceedings of the 9th international conference on Supercomputing, (21-30)
  1057. Murota K (1995). Combinatorial relaxation algorithm for the maximum degree of subdeterminants, Applicable Algebra in Engineering, Communication and Computing, 6:4-5, (251-273), Online publication date: 1-Jul-1995.
  1058. Cosnard M and Loi M A simple algorithm for the generation of efficient loop structures Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, (159-167)
  1059. ACM
    Brodsky A and Kornatzky Y The LyriC language Proceedings of the 1995 ACM SIGMOD international conference on Management of data, (35-46)
  1060. ACM
    Goldwasser M (1995). A survey of linear programming in randomized subexponential time, ACM SIGACT News, 26:2, (96-104), Online publication date: 1-Jun-1995.
  1061. ACM
    Brodsky A and Kornatzky Y (1995). The LyriC language, ACM SIGMOD Record, 24:2, (35-46), Online publication date: 22-May-1995.
  1062. ACM
    Chomicki J and Kuper G Measuring infinite relations Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (78-85)
  1063. Magnanti T, Mirchandani P and Vachani R (1995). Modeling and Solving the Two-Facility Capacitated Network Loading Problem, Operations Research, 43:1, (142-157), Online publication date: 1-Feb-1995.
  1064. Karzanov A and McCormick S Polynomial methods for separable convex optimization in unimodular spaces Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms, (78-87)
  1065. Jeong D (1995). Realizations with a cut-through Eulerian circuit, Discrete Mathematics, 137:1, (265-275), Online publication date: 20-Jan-1995.
  1066. ACM
    Lalgudi K and Papaefthymiou M DELAY Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, (304-309)
  1067. Neumayer P and Schweigert D (1994). Three algorithms for bicriteria integer linear programs, OR Spectrum, 16:4, (267-276), Online publication date: 1-Dec-1994.
  1068. Lougee-Heimer R, Adams W and Shier D (1994). Some applications of nonnegative linear systems, Operations Research Letters, 16:3, (139-147), Online publication date: 1-Oct-1994.
  1069. Hoogeveen J, Lenstra J and Veltman B (1994). Three, four, five, six, or the complexity of scheduling with communication delays, Operations Research Letters, 16:3, (129-137), Online publication date: 1-Oct-1994.
  1070. Dinechin B An Introduction to Simplex Scheduling Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, (327-330)
  1071. ACM
    Villard G Fast parallel computation of the Smith normal form of polynomial matrices Proceedings of the international symposium on Symbolic and algebraic computation, (312-317)
  1072. ACM
    Pugh W Counting solutions to Presburger formulas Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (121-134)
  1073. ACM
    Koiran P Efficient learning of continuous neural networks Proceedings of the seventh annual conference on Computational learning theory, (348-355)
  1074. ACM
    Hegedűs T Geometrical concept learning and convex polytopes Proceedings of the seventh annual conference on Computational learning theory, (228-236)
  1075. ACM
    Verbauwhede I, Scheers C and Rabaey J Memory estimation for high level synthesis Proceedings of the 31st annual Design Automation Conference, (143-148)
  1076. ACM
    Pugh W (1994). Counting solutions to Presburger formulas, ACM SIGPLAN Notices, 29:6, (121-134), Online publication date: 1-Jun-1994.
  1077. ACM
    Sohn K Constraints among argument sizes in logic programs (extended abstract) Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (68-74)
  1078. ACM
    Stuckey P and Sudarshan S Compiling query constraints (extended abstract) Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (56-67)
  1079. Orponen P (1994). Computational complexity of neural networks, Nordic Journal of Computing, 1:1, (94-110), Online publication date: 1-Mar-1994.
  1080. Shepherd F (1994). Near-perfect matrices, Mathematical Programming: Series A and B, 64:1-3, (295-323), Online publication date: 1-Mar-1994.
  1081. Dyer M and Frieze A (1994). Random walks, totally unimodular matrices, and a randomised dual simplex algorithm, Mathematical Programming: Series A and B, 64:1-3, (1-16), Online publication date: 1-Mar-1994.
  1082. ACM
    Matos A (1994). An introduction to ultimately periodic sets of integers, ACM SIGACT News, 25:1, (90-96), Online publication date: 1-Mar-1994.
  1083. Dwyer R and Eddy W Maximal empty ellipsoids Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms, (98-102)
  1084. ACM
    Malvestuto F (1993). A universal-scheme approach to statistical databases containing homogeneous summary tables, ACM Transactions on Database Systems, 18:4, (678-708), Online publication date: 1-Dec-1993.
  1085. Carragher R, Cheng C and Fujita M An efficient algorithm for the net matching problem Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design, (640-644)
  1086. Ning Q Register allocation for optimal loop scheduling Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2, (942-955)
  1087. Yamamoto Y (1993). A path-following procedure to find a proper equilibrium of finite games, International Journal of Game Theory, 22:3, (249-259), Online publication date: 1-Sep-1993.
  1088. ACM
    Ayguadé E and Torres J Partitioning the statement per iteration space using non-singular matrices Proceedings of the 7th international conference on Supercomputing, (407-415)
  1089. ACM
    Villard G Computation of the Smith normal form of polynomial matrices Proceedings of the 1993 international symposium on Symbolic and algebraic computation, (209-217)
  1090. ACM
    Amarasinghe S and Lam M Communication optimization and code generation for distributed memory machines Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, (126-138)
  1091. ACM
    Amarasinghe S and Lam M (1993). Communication optimization and code generation for distributed memory machines, ACM SIGPLAN Notices, 28:6, (126-138), Online publication date: 1-Jun-1993.
  1092. ACM
    Maass W Bounds for the computational power and learning complexity of analog neural nets Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing, (335-344)
  1093. ACM
    Papadimitriou C and Yannakakis M Linear programming without the matrix Proceedings of the twenty-fifth annual ACM symposium on Theory of Computing, (121-129)
  1094. ACM
    Drenick P and Smith E (1993). Stochastic query optimization in distributed databases, ACM Transactions on Database Systems, 18:2, (262-288), Online publication date: 1-Jun-1993.
  1095. ACM
    Ning Q and Gao G A novel framework of register allocation for software pipelining Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (29-42)
  1096. Höfting F and Wanke E Polynomial algorithms for minimum cost paths in periodic graphs Proceedings of the fourth annual ACM-SIAM symposium on Discrete algorithms, (493-499)
  1097. Cheriyan J Random Weighted Laplacians, Lovász minimum digraphs and finding minimum separators Proceedings of the fourth annual ACM-SIAM symposium on Discrete algorithms, (31-40)
  1098. Ramanujam J Non-unimodular transformations of nested loops Proceedings of the 1992 ACM/IEEE conference on Supercomputing, (214-223)
  1099. ACM
    Li W and Pingali K (1992). Access normalization, ACM SIGPLAN Notices, 27:9, (285-295), Online publication date: 1-Sep-1992.
  1100. ACM
    Li W and Pingali K Access normalization Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, (285-295)
  1101. Wolfe M and Tseng C (1992). The Power Test for Data Dependence, IEEE Transactions on Parallel and Distributed Systems, 3:5, (591-601), Online publication date: 1-Sep-1992.
  1102. ACM
    Eisenbeis C and Sogno J A general algorithm for data dependence analysis Proceedings of the 6th international conference on Supercomputing, (292-302)
  1103. ACM
    Tawbi N and Feautrier P Processor allocation and loop scheduling on multiprocessor computers Proceedings of the 6th international conference on Supercomputing, (63-71)
  1104. ACM
    Villard G Parallel lattice basis reduction Papers from the international symposium on Symbolic and algebraic computation, (269-277)
  1105. ACM
    Alon N and Kleitman D Piercing convex sets Proceedings of the eighth annual symposium on Computational geometry, (157-160)
  1106. ACM
    Kalai G A subexponential randomized simplex algorithm (extended abstract) Proceedings of the twenty-fourth annual ACM symposium on Theory of Computing, (475-482)
  1107. ACM
    Backes W, Schwiegelshohn U and Thiele L Analysis of free schedule in periodic graphs Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures, (333-342)
  1108. Tovey C (1992). A polynomial-time algorithm for computing the yolk in fixed dimension, Mathematical Programming: Series A and B, 57:1-3, (259-277), Online publication date: 1-May-1992.
  1109. Ye Y (1992). On the finite convergence of interior-point algorithms for linear programming, Mathematical Programming: Series A and B, 57:1-3, (325-335), Online publication date: 1-May-1992.
  1110. Jeroslow R, Martin K, Rardin R and Wang J (1992). Gainfree Leontief substitution flow problems, Mathematical Programming: Series A and B, 57:1-3, (375-414), Online publication date: 1-May-1992.
  1111. Adler I and Beling P (1992). Polynomial algorithms for LP over a subring of the algebraic integers with applications to LP with circulant matrices, Mathematical Programming: Series A and B, 57:1-3, (121-143), Online publication date: 1-May-1992.
  1112. ACM
    Ramanujam J and Sadayappan P Tiling multidimensional iteration spaces for nonshared memory machines Proceedings of the 1991 ACM/IEEE conference on Supercomputing, (111-120)
  1113. ACM
    Ancourt C and Irigoin F (1991). Scanning polyhedra with DO loops, ACM SIGPLAN Notices, 26:7, (39-50), Online publication date: 1-Jul-1991.
  1114. ACM
    Goff G, Kennedy K and Tseng C (1991). Practical dependence testing, ACM SIGPLAN Notices, 26:6, (15-29), Online publication date: 1-Jun-1991.
  1115. ACM
    Maydan D, Hennessy J and Lam M (1991). Efficient and exact data dependence analysis, ACM SIGPLAN Notices, 26:6, (1-14), Online publication date: 1-Jun-1991.
  1116. Shang W and Fortes J (1991). Time Optimal Linear Schedules for Algorithms with Uniform Dependencies, IEEE Transactions on Computers, 40:6, (723-742), Online publication date: 1-Jun-1991.
  1117. ACM
    Goff G, Kennedy K and Tseng C Practical dependence testing Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (15-29)
  1118. ACM
    Maydan D, Hennessy J and Lam M Efficient and exact data dependence analysis Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, (1-14)
  1119. ACM
    Luo Y and Lukács G A boundary representation for form features and non-manifold solid objects Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications, (45-60)
  1120. ACM
    Seib J and Lausen G Parallelizing Datalog programs by generalized pivoting Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (241-251)
  1121. ACM
    Sohn K and Van Gelder A Termination detection in logic programs using argument sizes (extended abstract) Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (216-226)
  1122. ACM
    Ancourt C and Irigoin F Scanning polyhedra with DO loops Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming, (39-50)
  1123. Robinson L (1991). Baseball playoff eliminations, Operations Research Letters, 10:2, (67-74), Online publication date: 1-Mar-1991.
  1124. Evertse J and van Heyst E Which new RSA signatures can be computed from some given RSA signatures? (extended abstract) Proceedings of the workshop on the theory and application of cryptographic techniques on Advances in cryptology, (83-97)
  1125. ACM
    Schwarz F (1991). Monomial orderings and Gröbner bases, ACM SIGSAM Bulletin, 25:1, (10-23), Online publication date: 2-Jan-1991.
  1126. Klee V and Kleinschmidt P (1990). Geometry of the Gass-Saaty parametric cost LP algorithm, Discrete & Computational Geometry, 5:1, (13-26), Online publication date: 1-Dec-1990.
  1127. Lu L and Chen M Subdomain dependence test for massive parallelism Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (962-972)
  1128. ACM
    Lisper B Preconditioning index set transformations for time-optimal affine scheduling Proceedings of the second annual ACM symposium on Parallel algorithms and architectures, (360-366)
  1129. Norton C, Plotkin S and Tardos É Using separation algorithms in fixed dimension Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms, (377-387)
  1130. Hafner J and McCurley K Asymptotically fast triangulation of matrices over rings Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms, (194-200)
  1131. Rivin I and Zabih R An algebraic approach to constraint satisfaction problems Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1, (284-289)
  1132. Grötschel M and Wakabayashi Y (1989). A cutting plane algorithm for a clustering problem, Mathematical Programming: Series A and B, 45:1-3, (59-96), Online publication date: 1-Aug-1989.
  1133. ACM
    Siebert-Roch F Parallel algorithms for hermite normal form of an integer matrix Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation, (317-321)
  1134. ACM
    Gachet P, Mauras C, Quinton P and Saouter Y Alpha du centaur Proceedings of the 3rd international conference on Supercomputing, (235-243)
  1135. ACM
    Deng X On the parallel complexity of integer programming Proceedings of the first annual ACM symposium on Parallel algorithms and architectures, (110-116)
  1136. ACM
    Roch J, Senechaud P, Sievert-Rich F and Villard G (1989). Computer algebra on MIMD machine, ACM SIGSAM Bulletin, 23:1, (16-32), Online publication date: 3-Jan-1989.
  1137. ACM
    Irigoin F and Triolet R Supernode partitioning Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (319-329)
  1138. ACM
    Klein K and Reuter J Collapsing the Tower - On the Complexity of Multistage Stochastic IPs, ACM Transactions on Algorithms, 0:0
  1139. Karthikeya S, Vijeth J and Murthy C Leveraging Solution-Specific Gateways for cost-effective and fault-tolerant IoT networking 2016 IEEE Wireless Communications and Networking Conference, (1-6)
  1140. Katz G, Piantanida P and Debbah M Collaborative distributed hypothesis testing with general hypotheses 2016 IEEE International Symposium on Information Theory (ISIT), (1705-1709)
  1141. Feng M, Mao S and Jiang T BOOST: Base station ON-OFF switching strategy for energy efficient massive MIMO HetNets IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications, (1-9)
  1142. Adiga A, Venkat S and Vullikanti A To delay or not: Temporal vaccination games on networks IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications, (1-9)
  1143. Alves L, Bravo H, Pena P and Takahashi R Planning on Discrete Events Systems: A logical approach 2016 IEEE International Conference on Automation Science and Engineering (CASE), (1055-1060)
  1144. Pokutta S Information theory and polyhedral combinatorics 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton), (1119-1126)
  1145. Ben-Amram A, Doménech J and Genaim S Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets Static Analysis, (459-480)
  1146. Bromberger M, Fleury M, Schwarz S and Weidenbach C SPASS-SATT Automated Deduction – CADE 27, (111-122)
Contributors
  • Korteweg-de Vries Institute for Mathematics

Recommendations

Janusz S. Kowalik

The book has two introductory sections and four main parts. Part 1 deals with the theory of linear spaces, the theory of systems of linear equations, and the computational complexity of solving these equations. Part 2 considers solving systems of linear equations in integer variables and the problem of diophantine approximations. In Part 3 the following problems are discussed: solving systems of linear inequalities, solving systems of linear equations in non-negative variables, and solving linear programming problems. The key concepts related to these problems are Farkas' lemma and the duality theorem of linear programming. The solution methods include the classic simplex method and two polynomial-time methods due to Khachiyan and Karmarkar. Part 4 presents the following: solving systems of linear diophantine inequalities, solving systems of linear equations in non-negative integer variables, and solving integer linear programming problems. The methods described include cutting planes, the method of Lenstra, branch-and-bound, and Bender decomposition. The book successfully fulfills the chief objective set by the author—to serve as an advanced complement to more practically oriented books. The emphasis is on fundamentals and theory, but the basic solution methodologies are also included. The approach is modern and includes material related to the computational complexity of the presented algorithms. Also, some very recent results are included, for example Lenstra's algorithm for integer linear programming. Unfortunately, there are no exercises that would help the reader to understand and appreciate the theoretical results. Many historical notes and annotated bibliographic comments enhance the value of the book. I would recommend the book to anyone who is seriously interested in linear and integer programming and especially to those who believe that many computer runs are sufficient for understanding the subject.

Saul I. Gass

The author's motivation in writing this very excellent, up-to-date book was to present an integrated discussion of the theoretical aspects of linear and integer programming. He has succeeded very well, indeed. After two introductory chapters on mathematical preliminaries and algorithmic complexity, the book is divided into four parts: Linear Algebra; Lattices and Linear Diophantine Equations; Polyhedra, Linear Inequalities, and Linear Programming; and Integer Linear Programming. Each part consists of a number of related chapters that are chock-full of all and more than you would ever want to know about the topics, including detailed historical notes and references. The book's timeliness is demonstrated by its chapter on Karmarkar's [1] (as well as Khachiyan's [2]) polynomial-time algorithm for linear programming. Computer scientists should be interested in the book for its discussions on algorithmic complexity, especially the material on the complexity of linear programming and the NP-completeness of integer-programming problems with linear constraints, areas that formed the basis of computational complexity. Although no exercises are included, a student working through the book will be exercised enough and will be well rewarded. The book is an ideal one for advanced seminars, and it is certainly a must for all serious researchers in the field.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.