Suchergebnisse - boolean partial boolean linear programming problemy~

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

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

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

Graphs for Pattern Recognition : Infeasible Systems of Linear Inequalities

Autoren: Damir Gainanov

Resource Type: eBook.

Schlagworte: 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.

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

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

Schlagwörter: AIR traffic, TRAFFIC flow, TRAFFIC engineering, AIR flow, LINEAR programming

Stability and Regularization of Vector Problems of Integer Linear Programming.

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

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

DEVELOPMENT OF A NONSTANDARD SYSTEM FOR SIMPLIFYING BOOLEAN FUNCTIONS.

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

Autoren: Solomko, Mykhailo

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

Schlagwörter: BOOLEAN functions, LOGIC circuits, COMPUTER logic, TECHNOLOGY transfer, DIGITAL electronics, MASS production

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

Autoren: Black, Hadley Kalemaj, Iden Raskhodnikova, Sofya

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

Schlagwörter: ISOPERIMETRIC inequalities, BOOLEAN functions, APPROXIMATION algorithms

Paradigms for Unconditional Pseudorandom Generators.

Autoren: Hatami, Pooya Hoza, William

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

Schlagwörter: POLYNOMIALS, BOOLEAN functions, FOURIER analysis, FINITE fields, COMPLEXITY (Philosophy)

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

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

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

Schlagwörter: COMPUTER-aided design, ROUTING algorithms, DIGITAL electronics, MICROELECTRONICS, INTEGRATED circuits, SOFTWARE verification, CAD/CAM systems

Geografische Kategorien: RUSSIA

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

Autoren: SZENDREI, ÁGNES

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

Schlagwörter: DISCRETE mathematics, COMPLETENESS theorem, COMPUTER science, ALGEBRA, LOGIC

MAX ONES GENERALIZED TO LARGER DOMAINS.

Autoren: Jonsson, Peter Kuivinen, Fredrik Nordh, Gustav

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

Schlagwörter: 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.

Autoren: Selezneva, Svetlana N. Liu, Yu.

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

Schlagwörter: ERROR functions, BOOLEAN functions

Bibliography.

Autoren: Crama, Yves Hammer, Peter L.

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

Hamiltonicity of Random Subgraphs of the Hypercube.

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

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

Lower Bounds for Tropical Circuits and Dynamic Programs.

Autoren: Jukna, Stasys

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

Schlagwörter: MATHEMATICAL bounds, DYNAMIC programming, ALGORITHMS, MONOTONIC functions, ARITHMETIC

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

Autoren: Sholomov, L. A.

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

Schlagwörter: HUFFMAN codes, POLYNOMIALS, ENTROPY (Information theory), PROBABILITY theory, SOURCE code

An analog of the cook theorem for polytopes.

Autoren: Maksimenko, A.

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

A Logical Approach to Constraint Satisfaction.

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

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

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

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

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

Schlagwörter: PROCESS optimization, WIND power plants, INTEGER programming

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

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

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

Schlagwörter: PROBLEM solving, NUMERICAL analysis, PERMUTATIONS, COMBINATORIAL optimization, STRUCTURAL optimization

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

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

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

Schlagwörter: DEPENDENCE (Statistics), DISTRIBUTION (Probability theory), CONTINUOUS distributions, FEATURE selection, RANDOM variables, PHYSICAL constants, MATERIALS science