Search Results - boolean partial boolean linear programming problems*

PIECEWISE LINEAR REGRESSION MODELS OF PASSENGER TRANSPORTATION VOLUMES BY RAILWAY by Noskov, S.I., Khonyakov, A.A.

“… Materials and methods. To achieve the goal of modeling, a piecewise linear regression model with a minimum on the right side, also called the Leontief function, was applied…”
Get full text

Developing Approaches for Solving a Telecommunications Feature Subscription Problem by Lesaint, David, Mehta, Deepak, O'Sullivan, Barry, Quesada, Luis, Wilson, Nic

“… We present several constraint programming formulations of the problem. We also present formulations using partial weighted maximum Boolean satisfiability and mixed integer linear programming…”
Get full text

Developing Approaches for Solving a Telecommunications Feature Subscription Problem by Lesaint, D., Mehta, D., O'Sullivan, B., Quesada, L., Wilson, N.

“… We present several constraint programming formulations of the problem. We also present formulations using partial weighted maximum Boolean satisfiability and mixed integer linear programming…”
Get full text

On stability and quasi-stability of a vector lexicographic quadratic boolean programming problem by V.A. Emelichev, V. Nikulin

“…We consider a vector Boolean programming problem with the linear-quadratic partial criteria…”
Get full text

On stability and quasi-stability of a vector lexicographic quadratic boolean programming problem by V.A. Emelichev, V. Nikulin

“…We consider a vector Boolean programming problem with the linear-quadratic partial criteria…”
Get full text

On quasi-stability of the vector Boolean problem of minimizing absolute deviations of linear functions from zero by Vladimir A. Emelichev, Evgeny E. Gurevsky

“…We consider a multi-criterion Boolean programming problem with partial criteria of the kind MIN MODUL of linear functions…”
Get full text

Computing linear extensions for polynomial posets subject to algebraic constraints by Kepley, Shane, Mischaikow, Konstantin, Zhang, Lun

“… We provide an algorithm for solving this problem using linear programming for arbitrary partial orders of linear polynomials…”
Get full text

Compact and Efficient Encodings for Planning in Factored State and Action Spaces with Learned Binarized Neural Network Transition Models by Buser Say, Sanner, Scott

“… Maximum Boolean Satisfiability (FD-SAT-Plan+) as well as Binary Linear Programming (FD-BLP-Plan+). Theoretically, we show that our SAT-based Bi-Directional Neuron…”
Get full text