Search Results - boolean partial boolean linear programming (((problemy OR problemsy) OR problemsys) OR problemsys)*

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

Qualitative Spatial Configuration Search.

Authors: Fogliaroni, Paolo Weiser, Paul Hobel, Heidelinde

Source: Spatial Cognition & Computation; 2016, Vol. 16 Issue 4, p272-300, 29p

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

Descriptive approach to image analysis: Image models.

Authors: Gurevich, I. Yashina, V.

Source: Pattern Recognition & Image Analysis; Dec2008, Vol. 18 Issue 4, p518-541, 24p

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)

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

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

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

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

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

Density Classification in Asynchronous Random Networks with Faulty Nodes.

Authors: Gogolev, Alexander Marcenaro, Lucio

Source: 2014 22nd Euromicro International Conference on Parallel, Distributed & Network-Based Processing; 01/01/2014, p256-261, 6p

Bibliography.

Authors: Crama, Yves Hammer, Peter L.

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

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

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

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