Search results for "integer-linear-programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Ruzica Piskac, Viktor Kuncak	Linear Arithmetic with Stars.	CAV	2008	DBLP DOI BibTeX RDF
24	Andrzej Bednarski, Christoph W. Kessler	Optimal Integrated VLIW Code Generation with Integer Linear Programming.	Euro-Par	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.	PATMOS	2005	DBLP DOI BibTeX RDF
23	Wuhua Hu, Wee Peng Tay	An integer linear programming approach for a class of bilinear integer programs.	Oper. Res. Lett.	2014	DBLP DOI BibTeX RDF
23	Jan De Belder	Integer Linear Programming for Natural Language Processing (Integer lineair programmeren voor natuurlijke taalverwerking). (PDF / PS)		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.	PVM/MPI	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.	GECCO Companion	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.	Int. J. Math. Oper. Res.	2018	DBLP DOI BibTeX RDF
23	Sandro Andreotti	Linear Programming and Integer Linear Programming in Bioinformatics.		2015	RDF
23	Sertac Karaman, Ricardo G. Sanfelice, Emilio Frazzoli	Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications.	CDC	2008	DBLP DOI BibTeX RDF
23	Dorit S. Hochbaum, J. George Shanthikumar	Convex Separable Optimization Is Not Much Harder than Linear Optimization	J. ACM	1990	DBLP DOI BibTeX RDF
23	Alberto Caprara, Matteo Fischetti, Adam N. Letchford	On the Separation of Maximally Violated mod-k Cuts.	IPCO	1999	DBLP DOI BibTeX RDF
23	Vivek Dua, Efstratios N. Pistikopoulos	Multiparametric Mixed Integer Linear Programming.	Encyclopedia of Optimization	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
23	Ernst Althaus, Gunnar W. Klau, Oliver Kohlbacher, Hans-Peter Lenhof, Knut Reinert	Integer Linear Programming in Computational Biology.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
23	Luís Mingote, Francisco Azevedo	Colored Nonograms: An Integer Linear Programming Approach.	EPIA	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.	Petri Nets	2008	DBLP DOI BibTeX RDF
23	Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne	Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming.	DATE	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.	ASP-DAC	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.	ASP-DAC	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.	WABI	2008	DBLP DOI BibTeX RDF
23	Stratos Papadomanolakis, Anastassia Ailamaki	An Integer Linear Programming Approach to Database Design.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
23	Shizu Sakakubara, Yuusuke Kounoike, Yuji Shinano, Ikuko Shimizu	Automatic Range Image Registration Using Mixed Integer Linear Programming.	ACCV (2)	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.	DAC	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.	ROBOCOMM	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	ISVLSI	2006	DBLP DOI BibTeX RDF
23	A. Allam, J. Ramanujam, Gerald Baumgartner, P. Sadayappan	Memory minimization for tensor contractions using integer linear programming.	IPDPS	2006	DBLP DOI BibTeX RDF
23	Rajkishore Barik, Christian Grothoff, Rahul Gupta, Vinayaka Pandit, Raghavendra Udupa	Optimal Bitwise Register Allocation Using Integer Linear Programming.	LCPC	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.	CODES+ISSS	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.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
23	Laleh Behjat, Andy Chiang	Fast integer linear programming based models for VLSI global routing.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
23	Ozcan Ozturk 0001, Mahmut T. Kandemir	Integer linear programming based energy optimization for banked DRAMs.	ACM Great Lakes Symposium on VLSI	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.	SCOPES	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.	ISQED	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.	DAC	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.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
23	Krishnendu Chakrabarty	Design of System-on-a-Chip Test Access Architectures using Integer Linear Programming.	VTS	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.	SODA	1992	DBLP BibTeX RDF
23	Robert E. Echols, Leon Cooper	Solution of Integer Linear Programming Problems by Direct Search.	J. ACM	1968	DBLP DOI BibTeX RDF
22	Wai-Kei Mak	Modern FPGA constrained placement.	ASP-DAC	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.	ISPD	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.	ASAP	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.	IEEE Trans. Computers	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.	DAC	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.	IITSI	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.	ARES	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.	Encyclopedia of Optimization	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.	Encyclopedia of Optimization	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.	Encyclopedia of Optimization	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.	J. Glob. Optim.	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.	Wirel. Networks	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.	Robust and Online Large-Scale Optimization	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.	Robust and Online Large-Scale Optimization	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.	ETS	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.	GECCO	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.	DAC	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.	ACM Trans. Design Autom. Electr. Syst.	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.	Math. Comput. Sci.	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.	J. Heuristics	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.	CIKM	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.	SLIP	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.	Privacy in Statistical Databases	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.	Optim. Lett.	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.	IWSOS	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.	AAMAS	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.	Ann. Oper. Res.	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.	Math. Program.	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.	AAMAS	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.	Int. J. Parallel Program.	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.	IEEE Trans. Parallel Distributed Syst.	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.	Ann. Oper. Res.	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.	ACM Trans. Archit. Code Optim.	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.	KDD	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.	DAC	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.	PLDI	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.	Ann. Oper. Res.	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.	IEEE Trans. Computers	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.	J. Electron. Test.	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.	ACM Trans. Design Autom. Electr. Syst.	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.	IEEE Trans. Computers	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.	RECOMB	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.	DATE	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.	ACM Trans. Design Autom. Electr. Syst.	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.	IEEE Trans. Parallel Distributed Syst.	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.	IEEE Trans. Knowl. Data Eng.	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.	IPCO	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.	IEEE Trans. Computers	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	FOCS	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.	CISIS	2008	DBLP DOI BibTeX RDF
20	Asuman E. Ozdaglar, Dimitri P. Bertsekas	Routing and wavelength assignment in optical networks.	IEEE/ACM Trans. Netw.	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.	Comput. Oper. Res.	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.	Comput. Ind. Eng.	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.	Int. J. Appl. Metaheuristic Comput.	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.	Ann. Oper. Res.	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.	IEEE Trans. Evol. Comput.	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.	Eur. J. Oper. Res.	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.	J. Autom. Mob. Robotics Intell. Syst.	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.	IEEE Trans Autom. Sci. Eng.	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.	Autom. Remote. Control.	2014	DBLP DOI BibTeX RDF