|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1171 occurrences of 646 keywords
|
|
|
Results
Found 1804 publication records. Showing 1804 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Ruzica Piskac, Viktor Kuncak |
Linear Arithmetic with Stars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 268-280, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Andrzej Bednarski, Christoph W. Kessler |
Optimal Integrated VLIW Code Generation with Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, pp. 461-472, 2006, Springer, 3-540-37783-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yuanlin Lu, Vishwani D. Agrawal |
Leakage and Dynamic Glitch Power Minimization Using Integer Linear Programming for Vth Assignment and Path Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation, 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings, pp. 217-226, 2005, Springer, 3-540-29013-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Wuhua Hu, Wee Peng Tay |
An integer linear programming approach for a class of bilinear integer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 42(3), pp. 226-230, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Jan De Belder |
Integer Linear Programming for Natural Language Processing (Integer lineair programmeren voor natuurlijke taalverwerking). (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
23 | Jose Libano Alonso, H. Schmidt, Vassil N. Alexandrov |
Parallel Branch and Bound Algorithms for Integer and Mixed Integer Linear Programming Problems under PVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3-5, 1997, Proceedings, pp. 313-320, 1997, Springer, 3-540-63697-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Quang Nhat Huynh, Hemant Kumar Singh, Tapabrata Ray |
Discovery of implicit relationships from data using linear programming and mixed integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO Companion ![In: GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9 - 13, 2022, pp. 558-561, 2022, ACM, 978-1-4503-9268-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Mei Lee Sam, Adi Saptari, Mohd Rizal Bin Salleh, Effendi Mohamad |
Comparison between linear programming and integer linear programming: a review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Oper. Res. ![In: Int. J. Math. Oper. Res. 13(1), pp. 91-106, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Sandro Andreotti |
Linear Programming and Integer Linear Programming in Bioinformatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
23 | Sertac Karaman, Ricardo G. Sanfelice, Emilio Frazzoli |
Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 2117-2122, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Dorit S. Hochbaum, J. George Shanthikumar |
Convex Separable Optimization Is Not Much Harder than Linear Optimization ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 37(4), pp. 843-862, October 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Caprara, Matteo Fischetti, Adam N. Letchford |
On the Separation of Maximally Violated mod-k Cuts. ![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. 87-98, 1999, Springer, 3-540-66019-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Vivek Dua, Efstratios N. Pistikopoulos |
Multiparametric Mixed Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2484-2490, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Parametric bounds, Comparison of parametric solutions, Branch and bound |
23 | Jia-Wei Fang, Chin-Hsiung Hsu, Yao-Wen Chang |
An Integer-Linear-Programming-Based Routing Algorithm for Flip-Chip Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(1), pp. 98-110, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Ernst Althaus, Gunnar W. Klau, Oliver Kohlbacher, Hans-Peter Lenhof, Knut Reinert |
Integer Linear Programming in Computational Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Efficient Algorithms ![In: Efficient Algorithms, Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday, pp. 199-218, 2009, Springer, 978-3-642-03455-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Luís Mingote, Francisco Azevedo |
Colored Nonograms: An Integer Linear Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, pp. 213-224, 2009, Springer, 978-3-642-04685-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik |
Process Discovery Using Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 368-387, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne |
Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1256-1261, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Minje Jun, Sungjoo Yoo, Eui-Young Chung |
Mixed integer linear programming-based optimal topology synthesis of cascaded crossbar switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 583-588, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Yi Zhu 0002, Jianhua Liu, Haikun Zhu, Chung-Kuan Cheng |
Timing-power optimization for mixed-radix Ling adders by integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 131-137, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Serdar Bozdag, Timothy J. Close, Stefano Lonardi |
Computing the Minimal Tiling Path from a Physical Map by Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings, pp. 148-161, 2008, Springer, 978-3-540-87360-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Stratos Papadomanolakis, Anastassia Ailamaki |
An Integer Linear Programming Approach to Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey, pp. 442-449, 2007, IEEE Computer Society, 978-1-4244-0831-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Shizu Sakakubara, Yuusuke Kounoike, Yuji Shinano, Ikuko Shimizu |
Automatic Range Image Registration Using Mixed Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (2) ![In: Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II, pp. 424-434, 2007, Springer, 978-3-540-76389-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Jia-Wei Fang, Chin-Hsiung Hsu, Yao-Wen Chang |
An Integer Linear Programming Based Routing Algorithm for Flip-Chip Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007, pp. 606-611, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Christian Reinl, Oskar von Stryk |
Optimal control of multi-vehicle-systems under communication constraints using mixed-integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBOCOMM ![In: Proceedings of the 1st International Conference on Robot Communication and Coordination, ROBOCOMM 2007, Athens, Greece, October 15-17, 2007, pp. 3, 2007, ICST/ACM, 978-963-9799-08-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Josep Carmona 0001, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés |
Synthesis of asynchronous controllers using integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(9), pp. 1637-1651, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Ozcan Ozturk 0001, G. Chen, Mahmut T. Kandemir, Mustafa Karaköy |
An Integer Linear Programming Based Approach to Simultaneous Memory Space Partitioning and Data Allocation for Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2-3 March 2006, Karlsruhe, Germany, pp. 50-58, 2006, IEEE Computer Society, 0-7695-2533-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | A. Allam, J. Ramanujam, Gerald Baumgartner, P. Sadayappan |
Memory minimization for tensor contractions using integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Rajkishore Barik, Christian Grothoff, Rahul Gupta, Vinayaka Pandit, Raghavendra Udupa |
Optimal Bitwise Register Allocation Using Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers, pp. 267-282, 2006, Springer, 978-3-540-72520-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Kubilay Atasu, Günhan Dündar, Can C. Özturan |
An integer linear programming approach for identifying instruction-set extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2005, Jersey City, NJ, USA, September 19-21, 2005, pp. 172-177, 2005, ACM, 1-59593-161-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
integer linear, programming, ASIPs, extensible processors |
23 | Shiann-Rong Kuang, Chin-Yang Chen, Ren-Zheng Liao |
Partitioning and Pipelined Scheduling of Embedded System Using Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (2) ![In: 11th International Conference on Parallel and Distributed Systems, ICPADS 2005, Fuduoka, Japan, July 20-22, 2005, pp. 37-41, 2005, IEEE Computer Society, 0-7695-2281-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Laleh Behjat, Andy Chiang |
Fast integer linear programming based models for VLSI global routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (6) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 6238-6243, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Ozcan Ozturk 0001, Mahmut T. Kandemir |
Integer linear programming based energy optimization for banked DRAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005, pp. 92-95, 2005, ACM, 1-59593-057-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
low-power, data compression, DRAM, ILP, data migration, memory banking |
23 | Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere |
An Integer Linear Programming Approach to Classify the Communication in Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Software and Compilers for Embedded Systems, 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings, pp. 62-76, 2004, Springer, 3-540-23035-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Javier Sosa, Juan A. Montiel-Nelson, Héctor Navarro, José C. García 0001 |
Functional Vector Generation for Combinational Circuits Based on Data Path Coverage Metric and Mixed Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 5th International Symposium on Quality of Electronic Design (ISQED 2004), 22-24 March 2004, San Jose, CA, USA, pp. 217-222, 2004, IEEE Computer Society, 0-7695-2093-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer |
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 703-708, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
constraint-based compilation, embedded systems, loop-Level parallelism |
23 | Han Bin Kim, Dong Sam Ha, Takeshi Takahashi 0003, Takahiro J. Yamaguchi |
A new approach to built-in self-testable datapath synthesis based on integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 8(5), pp. 594-605, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Krishnendu Chakrabarty |
Design of System-on-a-Chip Test Access Architectures using Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, Canada, pp. 127-136, 2000, IEEE Computer Society, 0-7695-0613-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
test data bandwidth, linearization, test access mechanism (TAM), testing time, Embedded core testing, test bus |
23 | Yu Lin-Kriz, Victor Y. Pan |
On Parallel Complexity of Integer Linear Programming, GCD and the Iterated mod Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Third Annual ACM/SIGACT-SIAM Symposium on Discrete Algorithms, 27-29 January 1992, Orlando, Florida, USA., pp. 124-137, 1992, ACM/SIAM, 0-89791-466-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
23 | Robert E. Echols, Leon Cooper |
Solution of Integer Linear Programming Problems by Direct Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 15(1), pp. 75-84, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
22 | Wai-Kei Mak |
Modern FPGA constrained placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 779-784, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Xin Yuan, Kevin W. McCullen, Fook-Luen Heng, Robert F. Walker, Jason Hibbeler, Robert J. Allen, Rani R. Narayan |
Technology migration technique for designs with strong RET-driven layout restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2005 International Symposium on Physical Design, ISPD 2005, San Francisco, California, USA, April 3-6, 2005, pp. 175-182, 2005, ACM, 1-59593-021-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
RDR, RET-driven layout, restrictive design rules, technology migration |
21 | Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere |
A Hierarchical Classification Scheme to Derive Interprocess Communication in Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 15th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2004), 27-29 September 2004, Galveston, TX, USA, pp. 282-292, 2004, IEEE Computer Society, 0-7695-2226-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ramaswamy Govindarajan, Hongbo Yang, José Nelson Amaral, Chihong Zhang, Guang R. Gao |
Minimum Register Instruction Sequencing to Reduce Register Spills in Out-of-Order Issue Superscalar Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(1), pp. 4-20, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
code sequence optimization, code generation, Compiler optimization, instruction level parallelism, register allocation, instruction scheduling, superscalar architectures |
20 | Chiu-Wing Sham, Evangeline F. Y. Young, Chris C. N. Chu |
Optimal cell flipping in placement and floorplanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 1109-1114, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
flipping, placement, floorplanning, orientation, wirelength |
20 | Zhi-Hua Hu |
A Quay Crane Assignment Approach for Berth Allocation Problem in Container Terminal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010, pp. 17-21, 2010, IEEE Computer Society, 978-0-7695-4020-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
quay crane assignment, quay crane allocation, berth allocation problem, integer linear programming |
20 | Hai Nguyen, Katrin Franke, Slobodan Petrovic |
Improving Effectiveness of Intrusion Detection by Correlation Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland, pp. 17-24, 2010, IEEE Computer Society, 978-0-7695-3965-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
correlation-based feature selection, polynomial mixed 0-1 fractional programming, mixed 0-1 integer linear programming, intrusion detection |
20 | Shabbir Ahmed 0001, Nikolaos V. Sahinidis |
Chemical Process Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 369-374, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Long range planning, Concave programming, Complexity, Stochastic programming, Probabilistic analysis, Mixed integer linear programming |
20 | Meeyoung Cha, Wanpracha Art Chaovalitwongse, Zhe Liang, Jennifer Yates, Aman Shaikh, Sue B. Moon |
Integer Linear Programs for Routing and Protection Problems in Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1610-1617, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Diverse path, Routing, Optical networks, Integer linear programming |
20 | Scott R. McAllister, Christodoulos A. Floudas |
Predictive Method for Interhelical Contacts in Alpha-Helical Proteins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3023-3031, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Alpha-helical proteins, Protein folding, Mixed-integer linear programming |
20 | Georges K. Saharidis, Marianthi G. Ierapetritou |
Resolution method for mixed integer bi-level linear problems based on decomposition technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 44(1), pp. 29-51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bi-level optimization, Active constraints, Mixed integer linear programming, Benders decomposition |
20 | Song Guo 0001, Oliver W. W. Yang |
A framework for the multicast lifetime maximization problem in energy-constrained wireless ad-hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 15(3), pp. 313-329, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multicast lifetime maximization, Wireless ad hoc networks, Directional antenna, Mixed integer linear programming, Multicast tree |
20 | Matteo Fischetti, Michele Monaci |
Light Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robust and Online Large-Scale Optimization ![In: Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems, pp. 61-84, 2009, Springer, 978-3-642-05464-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-dimensional Knapsack, Train Timetabling, Integer Linear Programming, Stochastic Programming, Robust optimization |
20 | Guido Diepen, J. M. van den Akker, J. A. Hoogeveen |
Integrated Gate and Bus Assignment at Amsterdam Airport Schiphol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robust and Online Large-Scale Optimization ![In: Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems, pp. 338-353, 2009, Springer, 978-3-642-05464-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
gate assigment, integrated planning, stabilized column generation, integer linear programming, column generation, airports |
20 | Mohammed Ashfaq Shukoor, Vishwani D. Agrawal |
A Two Phase Approach for Minimal Diagnostic Test Set Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 14th IEEE European Test Symposium, ETS 2009, Sevilla, Spain, May 25-29, 2009, pp. 115-120, 2009, IEEE Computer Society, 978-0-7695-3703-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generalized fault independence, Fault diagnosis, integer linear programming, fault dictionary, test minimization |
20 | Matthias Prandtstetter, Günther R. Raidl |
Meta-heuristics for reconstructing cross cut shredded text documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 349-356, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
document reconstruction, ant colony optimization, integer linear programming, variable neighborhood search |
20 | Cliff Chiung-Yu Lin, Yao-Wen Chang |
ILP-based pin-count aware design methodology for microfluidic biochips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 258-263, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
microfludics, design methodology, integer linear programming, biochip |
20 | Anuja Sehgal, Sudarshan Bahukudumbi, Krishnendu Chakrabarty |
Power-aware SoC test planning for effective utilization of port-scalable testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(3), pp. 53:1-53:19, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
port-scalable testers, test access architecture, integer linear programming, SoC test |
20 | William Y. C. Chen, Andreas W. M. Dress, Winking Q. Yu |
Community Structures of Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(3), pp. 441-457, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
clique partitioning problem, graph partitioning problem, food webs, Zachary’s karate club, Networks, linear programming, graphs, integer linear programming, community structures |
20 | Jakob Puchinger, Günther R. Raidl |
Bringing order into the neighborhoods: relaxation guided variable neighborhood search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 14(5), pp. 457-472, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Integer linear programming, Variable neighborhood search, Multidimensional knapsack problem |
20 | Maxim Kormilitsin, Rada Chirkova, Yahya Fathi, Matthias F. Stallmann |
View and index selection for query-performance improvement: quality-centered algorithms and heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008, pp. 1329-1330, 2008, ACM, 978-1-59593-991-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lagrangian heuristic, view-selection problem, integer linear programming, experimental evaluation |
20 | Jin Hu, Jarrod A. Roy, Igor L. Markov |
Sidewinder: a scalable ILP-based router. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLIP ![In: The Tenth International Workshop on System-Level Interconnect Prediction (SLIP 2008), Newcastle, UK, April 5-8, 2008, Proceedings, pp. 73-80, 2008, ACM, 978-1-59593-918-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
integer linear programming, global routing |
20 | Jordi Castro 0001, Daniel Baena |
Using a Mathematical Programming Modeling Language for Optimal CTA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Privacy in Statistical Databases ![In: Privacy in Statistical Databases, UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008. Proceedings, pp. 1-12, 2008, Springer, 978-3-540-87470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
controlled tabular adjustment, mixed-integer linear programming, statistical disclosure control, Benders decomposition |
20 | Zhen Yang 0006, Anthony Vannelli, Shawki Areibi |
An ILP based hierarchical global routing approach for VLSI ASIC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 1(3), pp. 281-297, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
VLSI physical design, Standard cell global routing, Integer Linear Programming |
20 | Chia-Cheng Hu |
Bandwidth-Satisfied Multicast Services in Large-Scale MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSOS ![In: Self-Organizing Systems, Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings, pp. 176-192, 2007, Springer, 978-3-540-74916-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bandwidth violation, quality-of-service, Ad-hoc network, integer linear programming, multicast protocol |
20 | Jianhui Wu 0006, Edmund H. Durfee |
Sequential resource allocation in multiagent systems with uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 114, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constrained MDPs, mission phasing, sequential resource allocation, mixed integer linear programming |
20 | Hadi Mohammadi Bidhandi |
A new approach based on the surrogating method in the project time compression problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 143(1), pp. 237-250, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Benders' decomposition, Surrogating method, Networks, Mixed integer linear programming |
20 | Juan José Salazar González |
Controlled rounding and cell perturbation: statistical disclosure limitation methods for tabular data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 105(2-3), pp. 583-603, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Controlled rounding, Integer linear Programming, Statistical disclosure Control |
20 | Jianhui Wu 0006, Edmund H. Durfee |
Mathematical programming for deliberation scheduling in time-limited domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 874-881, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
control of reasoning, deliberation scheduling, linear programming, mixed integer linear programming, piecewise linear approximation |
20 | Sid Ahmed Ali Touati |
Register Saturation in Instruction Level Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 33(4), pp. 393-449, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Register requirement, instruction level parallelism, integer linear programming, optimizing compilation, register pressure |
20 | Sing-Ling Lee, Hann-Jang Ho |
A 1.5 Approximation Algorithm for Embedding Hyperedges in a Cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(6), pp. 481-488, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Approximation algorithm, NP-complete, integer linear programming, hypergraph, LP-relaxation |
20 | ManMohan S. Sodhi, Stephen Norris |
A Flexible, Fast, and Optimal Modeling Approach Applied to Crew Rostering at London Underground. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 127(1-4), pp. 259-281, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
crew rostering, rota, cyclic graph, aggregation, decomposition, mixed-integer linear programming |
20 | Fen Xie, Margaret Martonosi, Sharad Malik |
Intraprogram dynamic voltage scaling: Bounding opportunities with analytic modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 1(3), pp. 323-367, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
low power, compiler, Analytical model, dynamic voltage scaling, mixed-integer linear programming |
20 | Nilesh N. Dalvi, Pedro M. Domingos, Mausam, Sumit K. Sanghai, Deepak Verma |
Adversarial classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Seattle, Washington, USA, August 22-25, 2004, pp. 99-108, 2004, ACM, 1-58113-888-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
game theory, integer linear programming, naive Bayes, cost-sensitive learning, spam detection |
20 | Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang |
An efficient finite-domain constraint solver for circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 212-217, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
bit-vector arithmetic, constraints, integer linear programming, decision procedures, boolean satisfiability, circuits, design verification |
20 | Fen Xie, Margaret Martonosi, Sharad Malik |
Compile-time dynamic voltage scaling settings: opportunities and limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 49-62, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
low power, compiler, analytical model, dynamic voltage scaling, mixed-integer linear programming |
20 | Guillermo Durán, Min Chih Lin, Jayme Luiz Szwarcfiter |
On Clique-Transversals and Clique-Independent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 116(1-4), pp. 71-77, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
clique-independent sets, clique-perfect graphs, clique-transversals, highly clique-imperfect graphs, linear programming, integer linear programming |
20 | Vikram Iyengar, Krishnendu Chakrabarty |
Test Bus Sizing for System-on-a-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(5), pp. 449-459, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Core-based systems, integer linear programming, linearization, test access mechanism (TAM), testing time, embedded core testing, test bus |
20 | Vikram Iyengar, Krishnendu Chakrabarty, Erik Jan Marinissen |
Test Wrapper and Test Access Mechanism Co-Optimization for System-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 18(2), pp. 213-230, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
test wrapper, integer linear programming, test access mechanism (TAM), testing time, Embedded core testing |
20 | U. Nagaraj Shenoy, Alok N. Choudhary, Prithviraj Banerjee |
An algorithm for synthesis of large time-constrained heterogeneous adaptive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 6(2), pp. 207-225, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
delay/cost table, hierarchical control data-flow graph, time-constrained synthesis, pipelining, reconfigurable computing, mixed integer linear programming, list scheduling |
20 | Jenn-Yang Ke, Jong-Chuang Tsay |
An Approach to Checking Link Conflicts in the Mapping of Uniform Dependence Algorithms into Lower Dimensional Processor Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(7), pp. 732-737, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Uniform dependence algorithms, lower dimensional arrays, link conflict, mixed integer linear programming, space-time mapping, Smith normal form, Hermite normal form |
20 | Alberto Caprara |
Formulations and hardness of multiple sorting by reversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Third Annual International Conference on Research in Computational Molecular Biology, RECOMB 1999, Lyon, France, April 11-14, 1999, pp. 84-94, 1999, ACM, 1-58113-069-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Eulerian graph, approximization complexity, cycle decomposition, integer linear programming, Hamiltonian cycle, perfect matching, sorting by reversals, signed permutation |
20 | Meenakshi Kaul, Ranga Vemuri |
Optimal Temporal Partitioning and Synthesis for Reconfigurable Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 389-396, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Synthesis, Integer Linear programming, Temporal Partitioning, Non-linear programming |
20 | Michael Münch, Norbert Wehn, Manfred Glesner |
An efficient ILP-based scheduling algorithm for control-dominated VHDL descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 2(4), pp. 344-364, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
scheduling, timing constraints, integer linear programming (ILP) |
20 | Ramaswamy Govindarajan, Erik R. Altman, Guang R. Gao |
A Framework for Resource-Constrained Rate-Optimal Software Pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(11), pp. 1133-1149, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
superscalar and VLIW architectures, Instruction-level parallelism, integer linear programming, software pipelining, instruction scheduling |
20 | Alberto Caprara, Matteo Fischetti, Dario Maio |
Exact and Approximate Algorithms for the Index Selection Problem in Physical Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 7(6), pp. 955-967, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Index selection problem, 0-1 integer linear programming, relational database, heuristic algorithm, branch-and-bound algorithm, physical database design |
20 | Christoph Helmberg, Svatopluk Poljak, Franz Rendl, Henry Wolkowicz |
Combining Semidefinite and Polyhedral Relaxations for Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 4th International IPCO Conference, Copenhagen, Denmark, May 29-31, 1995, Proceedings, pp. 124-134, 1995, Springer, 3-540-59408-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
quadratic 0-1 optimization, integer linear programming, semidefinite programming, interior point methods |
20 | In-Cheol Park, Se-Kyoung Hong, Chong-Min Kyung |
Two Complementary Approaches for Microcode Bit Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(2), pp. 234-239, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
microcode bit optimization, microprogrammed processors, microcode width, computational complexity, linear programming, heuristic algorithm, integer linear programming, minimization, minimisation, microprogramming, microprogramming, polynomial time complexity, graph bipartitioning |
20 | Harold N. Gabow |
A Framework for Cost-scaling Algorithms for Submodular Flow Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 449-458, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
cost-scaling algorithms, submodular flow problems, dijoin, edge-connectivity orientation, k-edge-connected orientation, minimum-cost k-edge-connected orientation, integer linear programming, vertices, vertex weights, minimum-cost network flow |
20 | Alakananda Bhattacharya, Amit Konar, Swagatam Das, Crina Grosan, Ajith Abraham |
Hardware Software Partitioning Problem in Embedded System Design Using Particle Swarm Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 171-176, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Asuman E. Ozdaglar, Dimitri P. Bertsekas |
Routing and wavelength assignment in optical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 11(2), pp. 259-272, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
routing, linear programming, wavelength assignment, lightpath, exact penalty functions |
19 | Willian T. Lunardi, Ernesto G. Birgin, Philippe Laborie, Débora P. Ronconi, Holger Voos |
Mixed Integer linear programming and constraint programming models for the online printing shop scheduling problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Oper. Res. ![In: Comput. Oper. Res. 123, pp. 105020, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Leilei Meng, Chaoyong Zhang, Yaping Ren, Biao Zhang 0003, Chang Lv |
Mixed-integer linear programming and constraint programming formulations for solving distributed flexible job shop scheduling problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 142, pp. 106347, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Fazilet Özer, Ismail Hakki Toroslu, Pinar Karagoz |
Comparison of Integer Linear Programming and Dynamic Programming Approaches for ATM Cash Replenishment Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Metaheuristic Comput. ![In: Int. J. Appl. Metaheuristic Comput. 11(3), pp. 120-132, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Konstantinos Petridis, Prasanta Kumar Dey |
Measuring incineration plants' performance using combined data envelopment analysis, goal programming and mixed integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 267(1-2), pp. 467-491, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Quang Nhat Huynh, Shelvin Chand, Hemant Kumar Singh, Tapabrata Ray |
Genetic Programming With Mixed-Integer Linear Programming-Based Library Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 22(5), pp. 733-747, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Kreter, Andreas Schutt, Peter J. Stuckey, Jürgen Zimmermann 0001 |
Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 266(2), pp. 472-486, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Pallavi Jain 0001, Gur Saran, Kamal Srivastava |
A new Integer Linear Programming and Quadratically Constrained Quadratic Programming Formulation for Vertex Bisection Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Mob. Robotics Intell. Syst. ![In: J. Autom. Mob. Robotics Intell. Syst. 10(1), pp. 69-73, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Kun Deng, Yu Sun 0025, Sisi Li, Yan Lu, Jack Brouwer, Prashant G. Mehta, MengChu Zhou, Amit Chakraborty |
Model Predictive Control of Central Chiller Plant With Thermal Energy Storage Via Dynamic Programming and Mixed-Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 12(2), pp. 565-579, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Andrey I. Kibzun, Olga M. Khromova |
On reduction of the multistage problem of stochastic programming with quantile criterion to the problem of mixed integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 75(4), pp. 688-699, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1804 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|