Results 261 to 270 of about 133,001 (290)
Leveraging linear and mixed integer programming for SMT [PDF]
2014 Formal Methods in Computer-Aided Design (FMCAD), 2014 Tim King 0001 +2 more
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Linear, Integer, and Mixed Integer Programming
2021William P. Fox, Robert E. Burks
openaire +1 more source
Mixed Integer Linear Programming for Mixed Integer Quadratic Programming
2003Abstract. In this paper we consider the mixed integer general quadratic problem (MIGQP) that consists in maximizing a quadratic function subject to quadratic constraints, with three types of variables: binary, integer and real. Given a precision , we show how to associate two mixed integer linear programs and with MIGQP.
openaire +1 more source
Valid Inequalities for Mixed-Integer Linear and Mixed-Integer Conic Programs
2016Mixed-integer programming provides a natural framework for modeling optimization problems which require discrete decisions. Valid inequalities, used as cutting-planes and cuttingsurfaces in integer programming solvers, are an essential part of today’s integer programming technology.
openaire +1 more source
Cyber-Attack on Overloading Multiple Lines: A Bilevel Mixed-Integer Linear Programming Model
IEEE Transactions on Smart Grid, 2018Yi Tan, Yong Li, Yijia Cao
exaly
Cutting plane algorithms for the inverse mixed integer linear programming problem
Operations Research Letters, 2009Lizhi Wang
exaly
Feature selection for multiclass discrimination via mixed-integer linear programming
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2003Paul A Rubin
exaly
Heuristic approaches for biobjective mixed 0–1 integer linear programming problems
European Journal of Operational Research, 2015Banu Soylu
exaly