|
|
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 |
66 | Jordan Tirrell |
Visualizing integer length integer vectors with J and POV-Ray. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGAPL APL Quote Quad ![In: ACM SIGAPL APL Quote Quad 34(4), pp. 28-31, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Alper Atamtürk, Vishnu Narayanan |
Cuts for Conic Mixed-Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings, pp. 16-29, 2007, Springer, 978-3-540-72791-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Integer programming, branch-and-cut, conic programming |
49 | Oliver Exler, Klaus Schittkowski |
A trust region SQP algorithm for mixed-integer nonlinear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 1(3), pp. 269-280, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Trust region methods, Mixed-integer nonlinear programming, Sequential quadratic programming, SQP |
49 | Sabine Glesner |
Finite Integer Computations: An Algebraic Foundation for Their Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(2), pp. 244-262, 2006. The full citation details ...](Pics/full.jpeg) |
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 |
47 | Michael D. Adams 0002, Faouzi Kossentini |
Reversible integer-to-integer wavelet transforms for image compression: performance evaluation and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(6), pp. 1010-1024, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Alper Atamtürk, Vishnu Narayanan |
Conic mixed-integer rounding cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 122(1), pp. 1-20, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C11, 90C25, 90C57 |
47 | C. E. Miller, Albert W. Tucker, R. A. Zemlin |
Integer Programming Formulation of Traveling Salesman Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 7(4), pp. 326-329, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
45 | Josef Kallrath |
Solving Planning and Design Problems in the Process Industry Using Mixed Integer and Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 140(1), pp. 339-373, 2005. The full citation details ...](Pics/full.jpeg) |
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 |
43 | Ravindra K. Ahuja, Dorit S. Hochbaum, James B. Orlin |
Solving the Convex Cost Integer Dual Network Flow Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings, pp. 31-44, 1999, Springer, 3-540-66019-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
43 | W. C. Fong, Shing-Chow Chan, Arumugam Nallanathan, Ka-Leung Ho |
Integer lapped transforms and their applications to image coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 11(10), pp. 1152-1159, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Miriam Primbs |
Worst-case error analysis of lifting-based fast DCT-algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(8-2), pp. 3211-3218, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Dominique Quadri, Éric Soutif |
Rewriting integer variables into zero-one variables: Some guidelines for the integer quadratic multi-knapsack problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 7(2), pp. 299-314, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
integer quadratic knapsack problem, separable objective function, direct expansion, binary expansion, piecewise interpolation |
41 | Ricardo Fukasawa, Marcos Goycoolea |
On the Exact Separation of Mixed Integer Knapsack Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings, pp. 225-239, 2007, Springer, 978-3-540-72791-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
integer programming, cutting plane algorithms |
41 | Leonid Khachiyan, Lorant Porkolab |
Computing Integral Points in Convex Semi-algebraic Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 162-171, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
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 |
41 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the minimum common integer partition problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 5(1), pp. 12:1-12:18, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
approximation algorithm, combinatorial optimization, NP-hard, computational biology, Subset sum, integer partition |
41 | Suvrajeet Sen, Hanif D. Sherali |
Decomposition with branch-and-cut approaches for two-stage stochastic mixed-integer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 106(2), pp. 203-223, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Decomposition, Stochastic Programming, Mixed-Integer Programming, Branch-and-Cut |
41 | Ralph E. Gomory |
Outline of an Algorithm for Integer Solutions to Linear Programs and An Algorithm for the Mixed Integer Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 77-103, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
39 | Sanjeeb Dash, Oktay Günlük |
On the strength of Gomory mixed-integer cuts as group cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 115(2), pp. 387-407, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mixed integer rounding, Cyclic group polyhedra, Integer programming, Cutting planes |
39 | Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd |
Multicommodity demand flow in a tree and packing integer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 3(3), pp. 27, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Integer multicommodity flow, packing integer program, approximation algorithm, tree, integrality gap |
39 | Margarida Moz, Margarida Vaz Pato |
An Integer Multicommodity Flow Model Applied to the Rerostering of Nurse Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 119(1-4), pp. 285-301, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
employee scheduling, rerostering, integer multicommodity flow problems, integer linear programming |
39 | Santanu S. Dey, Laurence A. Wolsey |
Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008, Proceedings, pp. 463-475, 2008, Springer, 978-3-540-68886-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Michael D. Adams 0002, Faouzi Kossentini |
Performance Evaluation of Reversible Integer-to-Integer Wavelet Transforms for Image Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 1999, Snowbird, Utah, USA, March 29-31, 1999., pp. 514, 1999, IEEE Computer Society, 0-7695-0096-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd |
Multicommodity Demand Flow in a Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 410-425, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
integer multicommodity flow, packing integer program, approximation algorithm, tree, integrality gap |
39 | Sebastian Sager, Hans Georg Bock, Gerhard Reinelt |
Direct methods with maximal lower bound for mixed-integer optimal control problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 118(1), pp. 109-149, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 34H05, 49J30, 90C11 |
39 | Rama Sangireddy, Jatan P. Shah |
Operand-Load-Based Split Pipeline Architecture for High Clock Rate and Commensurable IPC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(4), pp. 529-544, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Gérard Cornuéjols, François Margot |
On the Facets of Mixed Integer Programs with Two Integer Variables and Two Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2008: Theoretical Informatics, 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings, pp. 317-328, 2008, Springer, 978-3-540-78772-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intersection cut, group relaxation, integer programming |
37 | Matteo Fischetti, Cristiano Saturni |
Mixed-Integer Cuts from Cyclic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings, pp. 1-11, 2005, Springer, 3-540-26199-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Subadditive cuts, Gomory cuts, Gyclic Group and Corner polyhedra, Mixed-Integer Programming |
37 | Ismael R. de Farias Jr. |
Semi-continuous Cuts for Mixed-Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004, Proceedings, pp. 163-177, 2004, Springer, 3-540-22113-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
semi-continuous variables, mixed-integer programming, branch-and-cut, polyhedral combinatorics, disjunctive programming |
37 | Andreas Etzel |
Mixed Discrete Optimization of Multiple-Valued Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 259-264, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Kumar N. Lalgudi, Marios C. Papaefthymiou |
Efficient retiming under a general delay model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARVLSI ![In: 16th Conference on Advanced Research in VLSI (ARVLSI '95), March 27-29, 1995, Chapel Hill, North Carolina, USA, pp. 368-382, 1995, IEEE Computer Society, 0-8186-7047-9. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Teruo Higashino, Gregor von Bochmann |
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(1), pp. 29-42, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Alain Billionnet, Sourour Elloumi, Amélie Lambert |
Linear Reformulations of Integer Quadratic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCO ![In: Modelling, Computation and Optimization in Information Systems and Management Sciences, Second International Conference, MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings, pp. 43-51, 2008, Springer, 978-3-540-87476-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
linear reformulations, Integer programming, quadratic programming |
37 | Alper Atamtürk |
Cover and Pack Inequalities for (Mixed) Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 139(1), pp. 21-38, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
knapsack polyhedra, superadditive functions, integer programming, lifting |
37 | Bernhard Beckert, Steffen Schlager |
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 207-226, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic |
37 | Philipp 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](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 17th Annual IEEE Conference on Computational Complexity, Montréal, Québec, Canada, May 21-24, 2002, pp. 80-89, 2002, IEEE Computer Society, 0-7695-1468-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication |
35 | Arnold Neumaier, Oleg Shcherbina |
Safe bounds in linear and mixed-integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 99(2), pp. 283-296, 2004. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Benjamin Farber, Kenneth Zeger |
Quantization of Multiple Sources Using Nonnegative Integer Bit Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(11), pp. 4945-4964, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Stefan Felsner, Giuseppe Liotta, Stephen K. Wismath |
Straight-Line Drawings on Restricted Integer Grids in Two and Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, pp. 328-342, 2001, Springer, 3-540-43309-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | András Sebö |
An Introduction to Empty Lattice Simplices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings, pp. 400-414, 1999, Springer, 3-540-66019-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Jaspal Subhlok, Ken Kennedy |
Integer Programming for Array Subscript Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(6), pp. 662-668, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
35 | Jörg Heistermann, Thomas Lengauer |
The efficient solution of integer programs for hierarchical global routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(6), pp. 748-753, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | René de Vogelaere |
Algorithms: Algorithm 335: a set of basic input-output procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(8), pp. 567-573, 1968. The full citation details ...](Pics/full.jpeg) |
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 |
33 | Emilie Charrier, Lilian Buzer |
Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis, 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings, pp. 205-216, 2008, Springer, 978-3-540-78274-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
integer convex hull, Bezout identity, logarithmic time complexity, Linear constraint, continued fraction |
33 | Sanghun Kim, Sangho Ahn, Seung Hwan Yoo, Sun Yong Kim, Seokho Yoon |
Integer frequency offset detection methods for OFDM-based WLAN systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2008, Suwon, Korea, January 31 - February 01, 2008, pp. 180-185, 2008, ACM, 978-1-59593-993-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
integer frequency offset, training symbol, estimation, OFDM |
33 | Guorong 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](Pics/bibsonomy.png) |
IWDW ![In: Digital Watermarking, 5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006, Proceedings, pp. 323-332, 2006, Springer, 3-540-48825-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Histogram Shifting, Lossless Data Hiding, Integer Wavelets |
33 | Ping-Chu Hung, Ying-Ping Chen |
iECGA: integer extended compact genetic algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1415-1416, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
genetic linkage, integer representations, building blocks, extended compact genetic algorithms |
33 | Kalyanmoy Deb, Koushik Pal |
Efficiently Solving: A Large-Scale Integer Linear Program Using a Customized Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (1) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I, pp. 1054-1065, 2004, Springer, 3-540-22344-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
customized GAs, Integer linear programs, computational time, Large-scale optimization |
33 | François Vanderbeck, Laurence A. Wolsey |
Reformulation and Decomposition of Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 431-502, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Arthur M. Geoffrion |
Lagrangian Relaxation for Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 243-281, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Raymond Hemmecke, Matthias Köppe, Jon Lee 0001, Robert Weismantel |
Nonlinear Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 561-618, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | François Margot |
Symmetry in Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 647-686, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | William J. Cook |
Fifty-Plus Years of Combinatorial Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 387-430, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Franz Rendl |
Semidefinite Relaxations for Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 687-726, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Friedrich Eisenbrand |
Integer Programming and Algorithmic Geometry of Numbers - A tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 505-559, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Andrea Lodi 0001 |
Mixed Integer Programming Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 619-645, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Philippe P. Richard, Santanu S. Dey |
The Group-Theoretic Approach in Mixed Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 727-801, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Michele Conforti, Gérard Cornuéjols, Giacomo Zambelli |
Polyhedral Approaches to Mixed Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 343-385, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Michel Balinski |
Integer Programming: Methods, Uses, Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Integer Programming ![In: 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art, pp. 133-197, 2010, Springer, 978-3-540-68274-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Avaneendra Gupta, John P. Hayes |
CLIP: integer-programming-based optimal layout synthesis of 2D CMOS cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 5(3), pp. 510-547, 2000. The full citation details ...](Pics/full.jpeg) |
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 |
32 | Omer Berkman, Yossi Matias |
Fast parallel algorithms for minimum and related problems with small integer inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 203-207, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
integer inputs, prefix minima, range minima, integer domain, domain size, parallel algorithms, parallel algorithms, computational complexity, complexities, running time |
31 | Oktay Günlük, Jeff T. Linderoth |
Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008, Proceedings, pp. 1-16, 2008, Springer, 978-3-540-68886-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Alexander V. Karzanov |
Integer Concave Cocirculations and Honeycombs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 10th International IPCO Conference, New York, NY, USA, June 7-11, 2004, Proceedings, pp. 368-387, 2004, Springer, 3-540-22113-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Subhasis Saha, Rao Vemuri 0001 |
Use of adaptive integer-to-integer wavelet transforms in lossless image coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 393-396, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Pierre 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](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 113(2), pp. 241-257, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C10, 90C57, 90C11 |
31 | Xin Chen 0037, Lan Liu 0001, Zheng Liu, Tao Jiang 0001 |
On the Minimum Common Integer Partition Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAC ![In: Algorithms and Complexity, 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings, pp. 236-247, 2006, Springer, 3-540-34375-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Benjamin Farber, Kenneth Zeger |
Quantization of Multiple Sources Using Integer Bit Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2005 Data Compression Conference (DCC 2005), 29-31 March 2005, Snowbird, UT, USA, pp. 368-377, 2005, IEEE Computer Society, 0-7695-2309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Endre 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](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 92-103, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Kent D. Wilken, Jack Liu, Mark Heffernan |
Optimal instruction scheduling using integer programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 121-133, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Sheue-Ling Chang, Michael Shantz, Robert Rocchetti |
Rendering cubic curves and surfaces with integer adaptive forward differencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 16th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1989, Boston, MA, USA, July 31 - August 4, 1989, pp. 157-166, 1989, ACM, 0-201-50434-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Emre Özer 0001, Andy Nisbet, David Gregg |
A stochastic bitwidth estimation technique for compact and low-power custom processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(3), pp. 34:1-34:30, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bit-width analysis, custom hardware, FPGA, statistical estimation, extreme value theory |
31 | Egon Balas, Anureet Saxena |
Optimizing over the split closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 113(2), pp. 219-240, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | James R. Luedtke, Shabbir Ahmed 0001, George L. Nemhauser |
An Integer Programming Approach for Linear Programs with Probabilistic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings, pp. 410-423, 2007, Springer, 978-3-540-72791-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
probabilistic constraints, Integer programming, stochastic programming |
29 | Mohammad S. Sabbagh, Richard M. Soland |
An improved partial enumeration algorithm for integer programming problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 166(1), pp. 147-161, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Partial enumeration speedup, Integer programming |
29 | Jung-Fa Tsai, Ming-Hua Lin |
Global optimization of signomial mixed-integer nonlinear programming problems with free variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 42(1), pp. 39-49, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Global optimization, Mixed-integer nonlinear programming, Convexification, Free variable |
29 | Quentin Louveaux, Laurence A. Wolsey |
Lifting, superadditivity, mixed integer rounding and single node flow sets revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 153(1), pp. 47-77, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mixed integer rounding, Single node flow sets, Lifting |
29 | Yuji Shinano, Tetsuya Fujie |
ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings, pp. 97-106, 2007, Springer, 978-3-540-75415-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Parallel Branch-and-cut, Mixed Integer Programming, Master-Worker |
29 | Sang-Gu Lee, Michio Miyazaki, Jin-Il Kim |
Design of Very High-Speed Integer Fuzzy Controller Without Multiplications by Using VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I, pp. 93-100, 2007, Springer, 978-3-540-74817-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Integer operation, VHDL, Fuzzy control, Defuzzification, COG |
29 | Rui Li 0001, Michael Emmerich, Jeroen Eggermont, Ernst G. P. Bovenkamp |
Mixed-integer optimization of coronary vessel image analysis using evolution strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1645-1652, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evolution strategies (ES), mixed-Integer evolution strategies (MI-ES), IntraVascular ultraSound (IVUS) |
29 | Manfred Padberg |
Classical Cuts for Mixed-Integer Programming and Branch-and-Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 139(1), pp. 321-352, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Gomory cuts, mixed-integer programming, branch-and-cut, cutting planes |
29 | Matteo Fischetti, Andrea Lodi 0001 |
Optimizing over the First Chvàtal Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings, pp. 12-22, 2005, Springer, 3-540-26199-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
separation problems, Chvàtal-Gomory cuts, Integer Programs, computational analysis |
29 | Stavros G. Kolliopoulos, Clifford Stein 0001 |
Approximating disjoint-path problems using packing integer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 99(1), pp. 63-87, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
packing integer programs, approximation algorithms, edge-disjoint paths |
29 | Quentin Louveaux, Laurence A. Wolsey |
Lifting, superadditivity, mixed integer rounding and single node flow sets revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 1(3), pp. 173-207, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
mixed integer rounding, single node flow sets, Lifting |
29 | Andrew 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](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001, Proceedings, pp. 318-332, 2001, Springer, 3-540-42225-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
capacitated lot-sizing, fixed charge network flow, Mixed integer programming, polyhedral combinatorics, production planning, setup times |
29 | Michael J. Schulte, Pablo I. Balzola, Ahmet Akkas, Robert W. Brocato |
Integer Multiplication with Overflow Detection or Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(7), pp. 681-691, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
unsigned, tree multipliers, computer arithmetic, array multipliers, Overflow, saturation, integer, two's complement |
29 | Masashi Kiyomi, Tomomi Matsui |
Integer Programming Based Algorithms for Peg Solitaire Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers, pp. 229-240, 2000, Springer, 3-540-43080-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
peg solitaire, integer programming, backtrack searching |
29 | Ke Yang |
Integer Circuit Evaluation is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 15th Annual IEEE Conference on Computational Complexity, Florence, Italy, July 4-7, 2000, pp. 204-, 2000, IEEE Computer Society, 0-7695-0674-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Integer Circuit, Chinese Remainder Theorem, PSPACE |
29 | Ka Wong Chong, Yijie Han, Yoshihide Igarashi, Tak Wah Lam |
Improving Parallel Computation with Fast Integer Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999, Proceedings, pp. 452-461, 1999, Springer, 3-540-66200-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Parallel algorithms, graph algorithms, minimum spanning tree, PRAM, integer sorting |
29 | Robert Michael Owens, Raminder Singh Bajwa, Mary Jane Irwin |
Reducing the number of counters needed for integer multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 12th Symposium on Computer Arithmetic (ARITH-12 '95), July 19-21, 1995, Bath, England, UK, pp. 38-41, 1995, IEEE Computer Society, 0-8186-7089-4. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Yossi Matias, Uzi Vishkin |
A note on reducing parallel model simulations to integer sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 208-212, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Han-Lin Li, Chao-Chih Yang |
Integrating integer programming and probabilistic deduction graphs for probabilistic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 1(2), pp. 195-214, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
causal graph, deduction graph, quantitative logic, expert system, integer programming, abduction, probabilistic reasoning, medical diagnosis, deduction |
29 | Ruzica Piskac, Viktor Kuncak |
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 124-138, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets |
29 | Wen-Tsong Shiue |
High Level Synthesis for Peak Power Minimization Using ILP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 12th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2000), 10-12 July 2000, Boston, MA, USA, pp. 103-112, 2000, IEEE Computer Society, 0-7695-0716-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Peak power minimization, latency-constrained scheduling, High-level synthesis, low power design, integer linear programming, force-directed scheduling |
29 | K. Mani Chandy, J. E. Hewes |
File allocation in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 1976, March 29-31, 1976, Cambridge, MA, USA, pp. 10-13, 1976, ACM. The full citation details ...](Pics/full.jpeg) |
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 |
28 | Panos M. Pardalos |
LCP: Pardalos-Rosen Mixed Integer Formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1845-1847, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mixed integer problem, Minimum norm solution, Mixed integer programming, Linear complementarity problem, Bimatrix games |
28 | Zeynep H. Gümüs, Christodoulos A. Floudas |
Mixed Integer Nonlinear Bilevel Programming: Deterministic Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2225-2230, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bilevel nonlinear, Bilevel optimization, Mixed integer optimization, Two-level optimization, Mixed integer nonlinear, Global optimization, Bilevel programming |
28 | Wayne Eberly, Mark Giesbrecht, Gilles Villard |
Computing the Determinant and Smith Form of an Integer Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 675-685, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
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 |
28 | Chee-Keng Yap |
Fast Unimodular Reduction: Planar Integer Lattices (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 437-446, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
fast integer GCD, fast unimodular reduction, planar integer lattices, complexity, number theory |
28 | Andrew Chi-Chih Yao |
Lower Bounds for Algebraic Computation Trees with Integer Inputs ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 308-313, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
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 |
28 | Gérard Cornuéjols, François Margot |
On the facets of mixed integer programs with two integer variables and two constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 120(2), pp. 429-456, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Mariusz Ziólko, Michal Nowak |
Integer-to-Integer Filters in Transmultiplexer System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), July 1-4, Aveiro, Portugal, pp. 637-641, 2007, IEEE Computer Society, 978-1-4244-1520-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|