Search Results - boolean partial boolean linear programming problemy

Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search.

Authors: Devriendt, Jo Gleixner, Ambros Nordström, Jakob

Source: Constraints: An International Journal; Oct2021, Vol. 26 Issue 1-4, p26-55, 30p

Graphs for Pattern Recognition : Infeasible Systems of Linear Inequalities

Authors: Damir Gainanov

Resource Type: eBook.

Subjects: Inequalities (Mathematics), Graph theory

Categories: MATHEMATICS / Combinatorics, COMPUTERS / Image Processing, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied, MATHEMATICS / Geometry / General, MATHEMATICS / Optimization

Methods for Solving of the Aircraft Landing Problem. I. Exact Solution Methods.

Authors: Veresnikov, G. S. Egorov, N. A. Kulida, E. L. et al.

Source: Automation & Remote Control; Jul2019, Vol. 80 Issue 7, p1317-1334, 18p

Subject Terms: AIR traffic, TRAFFIC flow, TRAFFIC engineering, AIR flow, LINEAR programming

Stability and Regularization of Vector Problems of Integer Linear Programming.

Authors: Emelichev, V.A. Girlich, E. Nikulin, Yu.V. et al.

Source: Optimization; Jun2002, Vol. 51 Issue 4, p645-676, 32p

DEVELOPMENT OF A NONSTANDARD SYSTEM FOR SIMPLIFYING BOOLEAN FUNCTIONS.

Alternate Title: РОЗРОБКА НЕСТАНДАРТНОЇ СИСТЕМИ СПРОЩЕННЯ БУЛЕВИХ ФУНКЦІЙ. (Ukrainian)

Authors: Solomko, Mykhailo

Source: Eastern-European Journal of Enterprise Technologies; 2024, Vol. 129 Issue 4, p6-34, 29p

Subject Terms: BOOLEAN functions, LOGIC circuits, COMPUTER logic, TECHNOLOGY transfer, DIGITAL electronics, MASS production

Isoperimetric inequalities for real‐valued functions with applications to monotonicity testing.

Authors: Black, Hadley Kalemaj, Iden Raskhodnikova, Sofya

Source: Random Structures & Algorithms; Aug2024, Vol. 65 Issue 1, p191-219, 29p

Subject Terms: ISOPERIMETRIC inequalities, BOOLEAN functions, APPROXIMATION algorithms

Paradigms for Unconditional Pseudorandom Generators.

Authors: Hatami, Pooya Hoza, William

Source: Foundations & Trends in Theoretical Computer Science; 2024, Vol. 16 Issue 1/2, p1-210, 210p

Subject Terms: POLYNOMIALS, BOOLEAN functions, FOURIER analysis, FINITE fields, COMPLEXITY (Philosophy)

Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics.

Authors: Zapletina, M. A. Zhukov, D. V. Gavrilov, S. V.

Source: Russian Microelectronics; Dec2021, Vol. 50 Issue 7, p516-522, 7p

Subject Terms: COMPUTER-aided design, ROUTING algorithms, DIGITAL electronics, MICROELECTRONICS, INTEGRATED circuits, SOFTWARE verification, CAD/CAM systems

Geographic Terms: RUSSIA

Ivo G. Rosenberg’s Work on Maximal Clones and Minimal Clones.

Authors: SZENDREI, ÁGNES

Source: Journal of Multiple-Valued Logic & Soft Computing; 2025, Vol. 44 Issue 5/6, p539-600, 62p

Subject Terms: DISCRETE mathematics, COMPLETENESS theorem, COMPUTER science, ALGEBRA, LOGIC

MAX ONES GENERALIZED TO LARGER DOMAINS.

Authors: Jonsson, Peter Kuivinen, Fredrik Nordh, Gustav

Source: SIAM Journal on Computing; 2008, Vol. 38 Issue 1, p329-365, 37p, 5 Diagrams

Subject Terms: MAXIMUM principles (Mathematics), NUMERICAL solutions to partial differential equations, BOOLEAN algebra, COMPUTER science, MACHINE learning, MATHEMATICAL optimization, CLONES (Algebra), ALGEBRA, MATHEMATICS

Learning of monotone functions with single error correction.

Authors: Selezneva, Svetlana N. Liu, Yu.

Source: Discrete Mathematics & Applications; Jun2021, Vol. 31 Issue 3, p193-205, 13p

Subject Terms: ERROR functions, BOOLEAN functions

Bibliography.

Authors: Crama, Yves Hammer, Peter L.

Source: Boolean Functions; 2011, p635-676, 42p

Hamiltonicity of Random Subgraphs of the Hypercube.

Authors: Condon, Padraig D\'{\i}az, Alberto Espuny Gir\~ao, Ant\'onio et al.

Source: Memoirs of the American Mathematical Society; Dec2024, Vol. 304 Issue 1534, p1-144, 144p

Lower Bounds for Tropical Circuits and Dynamic Programs.

Authors: Jukna, Stasys

Source: Theory of Computing Systems; Jul2015, Vol. 57 Issue 1, p160-194, 35p

Subject Terms: MATHEMATICAL bounds, DYNAMIC programming, ALGORITHMS, MONOTONIC functions, ARITHMETIC

Polynomial Asymptotically Optimal Coding of Underdetermined Bernoulli Sources of the General Form.

Authors: Sholomov, L. A.

Source: Problems of Information Transmission; 2020, Vol. 56 Issue 4, p373-387, 15p

Subject Terms: HUFFMAN codes, POLYNOMIALS, ENTROPY (Information theory), PROBABILITY theory, SOURCE code

An analog of the cook theorem for polytopes.

Authors: Maksimenko, A.

Source: Russian Mathematics; Aug2012, Vol. 56 Issue 8, p28-34, 7p

A Logical Approach to Constraint Satisfaction.

Authors: Kolaitis, Phokion G. Vardi, Moshe Y.

Source: Complexity of Constraints; 2008, p125-155, 31p

OPTIMIZATION OF THE STRUCTURE OF WIND POWER STATION WITH THE USE OF THE BRANCH AND BOUND METHOD.

Authors: Teslyuk, T. Tsmots, I. Тeslyuk, V. et al.

Source: Eastern-European Journal of Enterprise Technologies; 2017, Vol. 86 Issue 8, p4-70, 8p

Subject Terms: PROCESS optimization, WIND power plants, INTEGER programming

A Two-Step Method for Solving Vector Optimization Problems on Permutation Configuration.

Authors: Koliechkina, L. N. Dvirna, O. A. Khovben, S. V.

Source: Cybernetics & Systems Analysis; May2021, Vol. 57 Issue 3, p442-454, 13p

Subject Terms: PROBLEM solving, NUMERICAL analysis, PERMUTATIONS, COMBINATORIAL optimization, STRUCTURAL optimization

TCMI: a non-parametric mutual-dependence estimator for multivariate continuous distributions.

Authors: Regler, Benjamin Scheffler, Matthias Ghiringhelli, Luca M.

Source: Data Mining & Knowledge Discovery; Sep2022, Vol. 36 Issue 5, p1815-1864, 50p

Subject Terms: DEPENDENCE (Statistics), DISTRIBUTION (Probability theory), CONTINUOUS distributions, FEATURE selection, RANDOM variables, PHYSICAL constants, MATERIALS science