The unconstrained binary quadratic programming problem: a survey

G Kochenberger, JK Hao, F Glover, M Lewis… - Journal of combinatorial …, 2014 - Springer
In recent years the unconstrained binary quadratic program (UBQP) has grown in
importance in the field of combinatorial optimization due to its application potential and its …

Heuristics for cardinality constrained portfolio optimisation

TJ Chang, N Meade, JE Beasley… - Computers & Operations …, 2000 - Elsevier
In this paper we consider the problem of finding the efficient frontier associated with the
standard mean–variance portfolio optimisation model. We extend the standard model to …

Cluster analysis and mathematical programming

P Hansen, B Jaumard - Mathematical programming, 1997 - Springer
Given a set of entities, Cluster Analysis aims at finding subsets, called clusters, which are
homogeneous and/or well separated. As many types of clustering and criteria for …

[图书][B] Boolean functions: Theory, algorithms, and applications

Y Crama, PL Hammer - 2011 - books.google.com
Written by prominent experts in the field, this monograph provides the first comprehensive,
unified presentation of the structural, algorithmic and applied aspects of the theory of …

[图书][B] Optimal reliability design: fundamentals and applications

W Kuo - 2001 - books.google.com
Optimal Reliability Design is a detailed introduction to systems reliability and reliability
optimization. State-of-the-art techniques for maximizing system reliability are described …

A global optimization algorithm for polynomial programming problems using a reformulation-linearization technique

HD Sherali, CH Tuncbilek - Journal of Global Optimization, 1992 - Springer
This paper is concerned with the development of an algorithm to solve continuous
polynomial programming problems for which the objective function and the constraints are …

A branch-and-cut method for 0-1 mixed convex programming

RA Stubbs, S Mehrotra - Mathematical programming, 1999 - Springer
We generalize the disjunctive approach of Balas, Ceria, and Cornuéjols [2] and devevlop a
branch-and-cut method for solving 0-1 convex programming problems. We show that cuts …

[PS][PS] Algorithms for the satisfiability (SAT) problem: A survey.

J Gu, PW Purdom, JV Franco… - … problem: Theory and …, 1996 - dimacs.rutgers.edu
The satis ability (SAT) problem is a core problem in mathematical logic and computing
theory. In practice, SAT is fundamental in solving many problems in automated reasoning …

Logic, optimization, and constraint programming

JN Hooker - INFORMS Journal on Computing, 2002 - pubsonline.informs.org
Because of their complementary strengths, optimization and constraint programming can be
profitably merged. Their integration has been the subject of increasing commercial and …

A unified modeling and solution framework for combinatorial optimization problems

GA Kochenberger, F Glover, B Alidaee, C Rego - Or Spectrum, 2004 - Springer
Combinatorial optimization problems are often too complex to be solved within reasonable
time limits by exact methods, in spite of the theoretical guarantee that such methods will …