Results 1 to 10 of about 133,418 (212)
Color Boolean Logical Operations Program
Color Boolean Logical Operations Program Updated on 2025-12-14 — latest version with improved content. Latest version. --- 🔄 Update 2025-12-15 — files and results updated. --- 🔄 Update 2025-12-15 — files and results updated. --- 🔄 Update 2025-12-15 — files and results updated.
Fedorchenko, Mikhail
+5 more sources
Integer linear programming for contrasting state interventions in Boolean networks [PDF]
PeerJDrug discovery is a highly complex and time-consuming endeavor, often hindered by issues related to efficacy and safety, resulting in frequent late-stage drug attrition.
Costas Bampos, Vasileios Megalooikonomou
doaj +3 more sources
Symbolic model checking for asynchronous Boolean programs [PDF]
, 2005 Software model checking problems generally contain two differ ent types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among threads. Most modern software model check ers can handle only one source of non-determinism efficiently, but not both.
Byron Cook +2 more
openalex +5 more sources
Automatic program segmentation based on Boolean connectivity [PDF]
Proceedings of the May 18-20, 1971, spring joint computer conference on - AFIPS '71 (Spring), 1971 The past few years have seen a significant increase in the number of computers with segmented memories, i.e., computers in which executable memory is divided into a fixed number of fixed length segments. A computer so organized can offer significant advantages over the more conventionally organized machine, the foremost advantage being that such an ...
Edward W. Ver Hoef
openalex +2 more sources
Low-Rank Boolean Matrix Approximation by Integer Programming
, 2018 Low-rank approximations of data matrices are an important dimensionality reduction tool in machine learning and regression analysis. We consider the case of categorical variables, where it can be formulated as the problem of finding low-rank ...
Gunluk, Oktay +2 more
core +3 more sources
Optimal Boolean Programming with Graphs
Acta Polytechnica Hungarica, 2019 Benedek Nagy +26 more
openalex +2 more sources
About a regional development model that takes into account environmental problems with budgeting uncertainty [PDF]
E3S Web of Conferences, 2021 Raw-materials base (hereinafter RMB) is one of the largest industries for financial investments in Russia. There are various mathematical descriptions for the development of regions with resource-based economy.
Novikov Artem
doaj +1 more source
Application of the Global Equilibrium Search Method for Solving Boolean Programming Problems
Кібернетика та комп'ютерні технології, 2023 Introduction. The significance of methods and algorithms for solving discrete optimization problems in mathematical supporting computer technologies of diverse levels and objectives is increasing.
Ivan Sergienko +3 more
doaj +1 more source
APPLICATION OF INCREMENTAL SATISFIABILITY PROBLEM SOLVERS FOR NON-DETERMINISTIC POLYNOMIAL-TIME HARD PROBLEMS AS ILLUSTRATED BY MINIMAL BOOLEAN FORMULA SYNTHESIS PROBLEM [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2020 Subject of Research. The paper considers a method for solution of the nondeterministic polynomial hard problem (NP-hard problem) of a minimal Boolean formula synthesis from a given truth table.
Konstantin I. Chukharev
doaj +1 more source
Algorithms, 2022 There exists a wide range of constraint programming (CP) problems defined on Boolean functions depending on binary variables. One of the approaches to solving CP problems is using specific appropriate solvers, e.g., SAT solvers.
Aleksey I. Pakhomchik +3 more
doaj +1 more source