The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for integer with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1964 (19) 1965-1967 (20) 1968 (16) 1969-1970 (20) 1971 (22) 1972 (17) 1973 (20) 1974 (18) 1975 (18) 1976 (26) 1977 (27) 1978-1979 (31) 1980 (17) 1981 (25) 1982 (16) 1983 (36) 1984 (28) 1985 (41) 1986 (34) 1987 (40) 1988 (47) 1989 (69) 1990 (135) 1991 (85) 1992 (111) 1993 (133) 1994 (123) 1995 (171) 1996 (180) 1997 (187) 1998 (245) 1999 (261) 2000 (278) 2001 (399) 2002 (452) 2003 (498) 2004 (659) 2005 (828) 2006 (940) 2007 (949) 2008 (930) 2009 (777) 2010 (433) 2011 (342) 2012 (359) 2013 (454) 2014 (539) 2015 (494) 2016 (570) 2017 (610) 2018 (578) 2019 (636) 2020 (617) 2021 (604) 2022 (607) 2023 (615) 2024 (152)
Publication types (Num. hits)
article(8249) book(15) data(3) incollection(130) inproceedings(7956) phdthesis(176) proceedings(29)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6930 occurrences of 3043 keywords

Results
Found 16558 publication records. Showing 16558 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
66Jordan Tirrell Visualizing integer length integer vectors with J and POV-Ray. Search on Bibsonomy ACM SIGAPL APL Quote Quad The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Alper Atamtürk, Vishnu Narayanan Cuts for Conic Mixed-Integer Programming. Search on Bibsonomy IPCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Integer programming, branch-and-cut, conic programming
49Oliver Exler, Klaus Schittkowski A trust region SQP algorithm for mixed-integer nonlinear programming. Search on Bibsonomy Optim. Lett. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Trust region methods, Mixed-integer nonlinear programming, Sequential quadratic programming, SQP
49Sabine Glesner Finite Integer Computations: An Algebraic Foundation for Their Correctness. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Additional Keywords finite integer and residue class arithmetic, changing representation sizes, Java Card bytecode optimization, constant folding, Java and C arithmetic, formal verification, inconsistency, Java Card, Isabelle/HOL
47Michael D. Adams 0002, Faouzi Kossentini Reversible integer-to-integer wavelet transforms for image compression: performance evaluation and analysis. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
47Alper Atamtürk, Vishnu Narayanan Conic mixed-integer rounding cuts. Search on Bibsonomy Math. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C11, 90C25, 90C57
47C. E. Miller, Albert W. Tucker, R. A. Zemlin Integer Programming Formulation of Traveling Salesman Problems. Search on Bibsonomy J. ACM The full citation details ... 1960 DBLP  DOI  BibTeX  RDF
45Josef Kallrath Solving Planning and Design Problems in the Process Industry Using Mixed Integer and Global Optimization. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF trilinear terms, concave objective functions, origin tracing, shelf life time, petro-chemical industry, optimization under uncertainty, stochastic mixed integer optimization, robust mixed integer optimization, Global Optimization, mixed integer programming, portfolio optimization, convex underestimators
43Ravindra K. Ahuja, Dorit S. Hochbaum, James B. Orlin Solving the Convex Cost Integer Dual Network Flow Problem. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43W. C. Fong, Shing-Chow Chan, Arumugam Nallanathan, Ka-Leung Ho Integer lapped transforms and their applications to image coding. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Miriam Primbs Worst-case error analysis of lifting-based fast DCT-algorithms. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Dominique Quadri, Éric Soutif Rewriting integer variables into zero-one variables: Some guidelines for the integer quadratic multi-knapsack problem. Search on Bibsonomy Oper. Res. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF integer quadratic knapsack problem, separable objective function, direct expansion, binary expansion, piecewise interpolation
41Ricardo Fukasawa, Marcos Goycoolea On the Exact Separation of Mixed Integer Knapsack Cuts. Search on Bibsonomy IPCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF integer programming, cutting plane algorithms
41Leonid Khachiyan, Lorant Porkolab Computing Integral Points in Convex Semi-algebraic Sets. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF convex semi-algebraic sets, polynomial inequalities, linear integer programming, semidefinite integer programming, integer programming, polynomial-time algorithm, polynomial-time solvability
41Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 On the minimum common integer partition problem. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF approximation algorithm, combinatorial optimization, NP-hard, computational biology, Subset sum, integer partition
41Suvrajeet Sen, Hanif D. Sherali Decomposition with branch-and-cut approaches for two-stage stochastic mixed-integer programming. Search on Bibsonomy Math. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Decomposition, Stochastic Programming, Mixed-Integer Programming, Branch-and-Cut
41Ralph E. Gomory Outline of an Algorithm for Integer Solutions to Linear Programs and An Algorithm for the Mixed Integer Problem. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
39Sanjeeb Dash, Oktay Günlük On the strength of Gomory mixed-integer cuts as group cuts. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mixed integer rounding, Cyclic group polyhedra, Integer programming, Cutting planes
39Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd Multicommodity demand flow in a tree and packing integer programs. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Integer multicommodity flow, packing integer program, approximation algorithm, tree, integrality gap
39Margarida Moz, Margarida Vaz Pato An Integer Multicommodity Flow Model Applied to the Rerostering of Nurse Schedules. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF employee scheduling, rerostering, integer multicommodity flow problems, integer linear programming
39Santanu S. Dey, Laurence A. Wolsey Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles. Search on Bibsonomy IPCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Michael D. Adams 0002, Faouzi Kossentini Performance Evaluation of Reversible Integer-to-Integer Wavelet Transforms for Image Compression. Search on Bibsonomy Data Compression Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd Multicommodity Demand Flow in a Tree. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF integer multicommodity flow, packing integer program, approximation algorithm, tree, integrality gap
39Sebastian Sager, Hans Georg Bock, Gerhard Reinelt Direct methods with maximal lower bound for mixed-integer optimal control problems. Search on Bibsonomy Math. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 34H05, 49J30, 90C11
39Rama Sangireddy, Jatan P. Shah Operand-Load-Based Split Pipeline Architecture for High Clock Rate and Commensurable IPC. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Gérard Cornuéjols, François Margot On the Facets of Mixed Integer Programs with Two Integer Variables and Two Constraints. Search on Bibsonomy LATIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF intersection cut, group relaxation, integer programming
37Matteo Fischetti, Cristiano Saturni Mixed-Integer Cuts from Cyclic Groups. Search on Bibsonomy IPCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Subadditive cuts, Gomory cuts, Gyclic Group and Corner polyhedra, Mixed-Integer Programming
37Ismael R. de Farias Jr. Semi-continuous Cuts for Mixed-Integer Programming. Search on Bibsonomy IPCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF semi-continuous variables, mixed-integer programming, branch-and-cut, polyhedral combinatorics, disjunctive programming
37Andreas Etzel Mixed Discrete Optimization of Multiple-Valued Systems. Search on Bibsonomy ISMVL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF mixed discrete optimization, multiple-valued systems, mixed multiple-valued optimization problems, zero-one integer programs, discrete intervals, industrial power plants, integer programming, fuzzy sets, mixed integer programming, flexible manufacturing systems, cutting-plane method
37Kumar N. Lalgudi, Marios C. Papaefthymiou Efficient retiming under a general delay model. Search on Bibsonomy ARVLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF retiming algorithm, general delay model, edge-triggered circuits, load-dependent gate delays, register delays, integer linear programming constraints, integer phonotonic programming formulation, linear programming, delays, timing, integer programming, logic design, logic design, logic circuits, clock skew, propagation delays, interconnect delays
37Teruo Higashino, Gregor von Bochmann Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
37Alain Billionnet, Sourour Elloumi, Amélie Lambert Linear Reformulations of Integer Quadratic Programs. Search on Bibsonomy MCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF linear reformulations, Integer programming, quadratic programming
37Alper Atamtürk Cover and Pack Inequalities for (Mixed) Integer Programming. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF knapsack polyhedra, superadditive functions, integer programming, lifting
37Bernhard Beckert, Steffen Schlager Software Verification with Integrated Data Type Refinement for Integer Arithmetic. Search on Bibsonomy IFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
37Philipp Woelfel On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism. Search on Bibsonomy CCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication
35Arnold Neumaier, Oleg Shcherbina Safe bounds in linear and mixed-integer linear programming. Search on Bibsonomy Math. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF directed rounding, mixed-integer rounding, generalized Gomory cut, safe cuts, safe presolve, certificate of infeasibility, lower bounds, linear programming, mixed-integer programming, interval arithmetic, branch-and-cut, rounding errors
35Benjamin Farber, Kenneth Zeger Quantization of Multiple Sources Using Nonnegative Integer Bit Allocation. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Stefan Felsner, Giuseppe Liotta, Stephen K. Wismath Straight-Line Drawings on Restricted Integer Grids in Two and Three Dimensions. Search on Bibsonomy GD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35András Sebö An Introduction to Empty Lattice Simplices. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Jaspal Subhlok, Ken Kennedy Integer Programming for Array Subscript Analysis. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
35Jörg Heistermann, Thomas Lengauer The efficient solution of integer programs for hierarchical global routing. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
33René de Vogelaere Algorithms: Algorithm 335: a set of basic input-output procedures. Search on Bibsonomy Commun. ACM The full citation details ... 1968 DBLP  DOI  BibTeX  RDF ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational
33Emilie Charrier, Lilian Buzer Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint. Search on Bibsonomy IWCIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF integer convex hull, Bezout identity, logarithmic time complexity, Linear constraint, continued fraction
33Sanghun Kim, Sangho Ahn, Seung Hwan Yoo, Sun Yong Kim, Seokho Yoon Integer frequency offset detection methods for OFDM-based WLAN systems. Search on Bibsonomy ICUIMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF integer frequency offset, training symbol, estimation, OFDM
33Guorong Xuan, Qiuming Yao, Chengyun Yang, Jianjiong Gao, Peiqi Chai, Yun Q. Shi 0001, Zhicheng Ni Lossless Data Hiding Using Histogram Shifting Method Based on Integer Wavelets. Search on Bibsonomy IWDW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Histogram Shifting, Lossless Data Hiding, Integer Wavelets
33Ping-Chu Hung, Ying-Ping Chen iECGA: integer extended compact genetic algorithm. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF genetic linkage, integer representations, building blocks, extended compact genetic algorithms
33Kalyanmoy Deb, Koushik Pal Efficiently Solving: A Large-Scale Integer Linear Program Using a Customized Genetic Algorithm. Search on Bibsonomy GECCO (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF customized GAs, Integer linear programs, computational time, Large-scale optimization
33François Vanderbeck, Laurence A. Wolsey Reformulation and Decomposition of Integer Programs. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Arthur M. Geoffrion Lagrangian Relaxation for Integer Programming. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Raymond Hemmecke, Matthias Köppe, Jon Lee 0001, Robert Weismantel Nonlinear Integer Programming. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33François Margot Symmetry in Integer Linear Programming. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33William J. Cook Fifty-Plus Years of Combinatorial Integer Programming. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Franz Rendl Semidefinite Relaxations for Integer Programming. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Friedrich Eisenbrand Integer Programming and Algorithmic Geometry of Numbers - A tutorial. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Andrea Lodi 0001 Mixed Integer Programming Computation. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Jean-Philippe P. Richard, Santanu S. Dey The Group-Theoretic Approach in Mixed Integer Programming. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Michele Conforti, Gérard Cornuéjols, Giacomo Zambelli Polyhedral Approaches to Mixed Integer Linear Programming. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Michel Balinski Integer Programming: Methods, Uses, Computation. Search on Bibsonomy 50 Years of Integer Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
32Avaneendra Gupta, John P. Hayes CLIP: integer-programming-based optimal layout synthesis of 2D CMOS cells. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CMOS networks, circuit clustering, diffusion sharing, leaf cell synthesis, transistor chains, two-dimensional layout, integer programming, integer linear programming, layout optimization, module generation
32Omer Berkman, Yossi Matias Fast parallel algorithms for minimum and related problems with small integer inputs. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF integer inputs, prefix minima, range minima, integer domain, domain size, parallel algorithms, parallel algorithms, computational complexity, complexities, running time
31Oktay Günlük, Jeff T. Linderoth Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables. Search on Bibsonomy IPCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Alexander V. Karzanov Integer Concave Cocirculations and Honeycombs. Search on Bibsonomy IPCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Subhasis Saha, Rao Vemuri 0001 Use of adaptive integer-to-integer wavelet transforms in lossless image coding. Search on Bibsonomy ISCAS (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Pierre Bonami, Gérard Cornuéjols, Sanjeeb Dash, Matteo Fischetti, Andrea Lodi 0001 Projected Chvátal-Gomory cuts for mixed integer linear programs. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 90C10, 90C57, 90C11
31Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 On the Minimum Common Integer Partition Problem. Search on Bibsonomy CIAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Benjamin Farber, Kenneth Zeger Quantization of Multiple Sources Using Integer Bit Allocation. Search on Bibsonomy DCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Kent D. Wilken, Jack Liu, Mark Heffernan Optimal instruction scheduling using integer programming. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Sheue-Ling Chang, Michael Shantz, Robert Rocchetti Rendering cubic curves and surfaces with integer adaptive forward differencing. Search on Bibsonomy SIGGRAPH The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
31Emre Özer 0001, Andy Nisbet, David Gregg A stochastic bitwidth estimation technique for compact and low-power custom processors. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bit-width analysis, custom hardware, FPGA, statistical estimation, extreme value theory
31Egon Balas, Anureet Saxena Optimizing over the split closure. Search on Bibsonomy Math. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30James R. Luedtke, Shabbir Ahmed 0001, George L. Nemhauser An Integer Programming Approach for Linear Programs with Probabilistic Constraints. Search on Bibsonomy IPCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF probabilistic constraints, Integer programming, stochastic programming
29Mohammad S. Sabbagh, Richard M. Soland An improved partial enumeration algorithm for integer programming problems. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Partial enumeration speedup, Integer programming
29Jung-Fa Tsai, Ming-Hua Lin Global optimization of signomial mixed-integer nonlinear programming problems with free variables. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global optimization, Mixed-integer nonlinear programming, Convexification, Free variable
29Quentin Louveaux, Laurence A. Wolsey Lifting, superadditivity, mixed integer rounding and single node flow sets revisited. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mixed integer rounding, Single node flow sets, Lifting
29Yuji Shinano, Tetsuya Fujie ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer. Search on Bibsonomy PVM/MPI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Parallel Branch-and-cut, Mixed Integer Programming, Master-Worker
29Sang-Gu Lee, Michio Miyazaki, Jin-Il Kim Design of Very High-Speed Integer Fuzzy Controller Without Multiplications by Using VHDL. Search on Bibsonomy KES (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Integer operation, VHDL, Fuzzy control, Defuzzification, COG
29Rui Li 0001, Michael Emmerich, Jeroen Eggermont, Ernst G. P. Bovenkamp Mixed-integer optimization of coronary vessel image analysis using evolution strategies. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF evolution strategies (ES), mixed-Integer evolution strategies (MI-ES), IntraVascular ultraSound (IVUS)
29Manfred Padberg Classical Cuts for Mixed-Integer Programming and Branch-and-Cut. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Gomory cuts, mixed-integer programming, branch-and-cut, cutting planes
29Matteo Fischetti, Andrea Lodi 0001 Optimizing over the First Chvàtal Closure. Search on Bibsonomy IPCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF separation problems, Chvàtal-Gomory cuts, Integer Programs, computational analysis
29Stavros G. Kolliopoulos, Clifford Stein 0001 Approximating disjoint-path problems using packing integer programs. Search on Bibsonomy Math. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF packing integer programs, approximation algorithms, edge-disjoint paths
29Quentin Louveaux, Laurence A. Wolsey Lifting, superadditivity, mixed integer rounding and single node flow sets revisited. Search on Bibsonomy 4OR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF mixed integer rounding, single node flow sets, Lifting
29Andrew J. Miller, George L. Nemhauser, Martin W. P. Savelsbergh Facets, Algorithms, and Polyhedral Characterizations for a Multi-item Production Planning Model with Setup Times. Search on Bibsonomy IPCO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF capacitated lot-sizing, fixed charge network flow, Mixed integer programming, polyhedral combinatorics, production planning, setup times
29Michael J. Schulte, Pablo I. Balzola, Ahmet Akkas, Robert W. Brocato Integer Multiplication with Overflow Detection or Saturation. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF unsigned, tree multipliers, computer arithmetic, array multipliers, Overflow, saturation, integer, two's complement
29Masashi Kiyomi, Tomomi Matsui Integer Programming Based Algorithms for Peg Solitaire Problems. Search on Bibsonomy Computers and Games The full citation details ... 2000 DBLP  DOI  BibTeX  RDF peg solitaire, integer programming, backtrack searching
29Ke Yang Integer Circuit Evaluation is PSPACE-Complete. Search on Bibsonomy CCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Integer Circuit, Chinese Remainder Theorem, PSPACE
29Ka Wong Chong, Yijie Han, Yoshihide Igarashi, Tak Wah Lam Improving Parallel Computation with Fast Integer Sorting. Search on Bibsonomy COCOON The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Parallel algorithms, graph algorithms, minimum spanning tree, PRAM, integer sorting
29Robert Michael Owens, Raminder Singh Bajwa, Mary Jane Irwin Reducing the number of counters needed for integer multiplication. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1995 DBLP  DOI  BibTeX  RDF counting circuits, reasonably small integers, partial product accumulation, aperiodic convolution, convolution algorithms, partial product formulation, fairly large integers, digital arithmetic, multiplying circuits, counters, integer multiplication
29Yossi Matias, Uzi Vishkin A note on reducing parallel model simulations to integer sorting. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF parallel model simulations, FETCH&ADD PRAM model, parallel algorithms, sorting, hashing, bootstrapping, bootstrapping, EREW PRAM, CRCW PRAM, simulation algorithms, integer sorting
29Han-Lin Li, Chao-Chih Yang Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning. Search on Bibsonomy J. Syst. Integr. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF causal graph, deduction graph, quantitative logic, expert system, integer programming, abduction, probabilistic reasoning, medical diagnosis, deduction
29Ruzica Piskac, Viktor Kuncak Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets
29Wen-Tsong Shiue High Level Synthesis for Peak Power Minimization Using ILP. Search on Bibsonomy ASAP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Peak power minimization, latency-constrained scheduling, High-level synthesis, low power design, integer linear programming, force-directed scheduling
29K. Mani Chandy, J. E. Hewes File allocation in distributed systems. Search on Bibsonomy SIGMETRICS The full citation details ... 1976 DBLP  DOI  BibTeX  RDF Analytic solution techniques, Computer networks and distributed subsystems, Data base management system and subsystem, Decomposition of linear programs, Linear programming, Integer programming, Memory hierarchies, Branch and bound algorithms
28Panos M. Pardalos LCP: Pardalos-Rosen Mixed Integer Formulation. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mixed integer problem, Minimum norm solution, Mixed integer programming, Linear complementarity problem, Bimatrix games
28Zeynep H. Gümüs, Christodoulos A. Floudas Mixed Integer Nonlinear Bilevel Programming: Deterministic Global Optimization. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bilevel nonlinear, Bilevel optimization, Mixed integer optimization, Two-level optimization, Mixed integer nonlinear, Global optimization, Bilevel programming
28Wayne Eberly, Mark Giesbrecht, Gilles Villard Computing the Determinant and Smith Form of an Integer Matrix. Search on Bibsonomy FOCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF matrix determinant computing, Smith form, nonsingular integer matrix, asymptotically fast matrix arithmetic, random bits, computational complexity, probability, matrix multiplication, Monte Carlo methods, Monte Carlo method, matrix algebra, probabilistic algorithm, mathematics computing, integer arithmetic
28Chee-Keng Yap Fast Unimodular Reduction: Planar Integer Lattices (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fast integer GCD, fast unimodular reduction, planar integer lattices, complexity, number theory
28Andrew Chi-Chih Yao Lower Bounds for Algebraic Computation Trees with Integer Inputs Search on Bibsonomy FOCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF integer inputs, topological lower bound, algebraic computation tree model, integral-constrained form, element distinctness, set disjointness, integer max gap, Milnor-Thom techniques, lower bounds, upper bounds, convex hull, Betti numbers, algebraic varieties, algebraic computation trees
28Gérard Cornuéjols, François Margot On the facets of mixed integer programs with two integer variables and two constraints. Search on Bibsonomy Math. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Mariusz Ziólko, Michal Nowak Integer-to-Integer Filters in Transmultiplexer System. Search on Bibsonomy ISCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 16558 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license