Minimization of Boolean Functions

No abstract is available for this paper.

• Publication year

  1971

• Venue

  IEEE transactions on computers

• Publication date

  1971-08-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/T-C.1971.223373
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A method for simplifying Boolean functions

  1962cited by this paper
• The map method for synthesis of combinational logic circuits

  1953cited by this paper
• A chart method for simplifying truth functions

  1952cited by this paper
• The Problem of Simplifying Truth Functions

  1952cited by this paper

• Textual Explanations and Their Evaluations for Reinforcement Learning Policy

  2026cites this paper
• AstRL: Analog and Mixed-Signal Circuit Synthesis with Deep Reinforcement Learning

  2026cites this paper
• Collision Attacks on SPONGENT with Grouping Method

  2025cites this paper
• Zero-Shot Instruction Following in RL via Structured LTL Representations

  2025cites this paper
• Modular Arithmetic Based on Boolean Functions: A Divide and Conquer Approach

  2025cites this paper
• FLoRA: A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems

  2025cites this paper
• Practical Collision Attacks on Reduced-Round Xoodyak Hash Mode

  2025cites this paper
• Efficient & Correct Predictive Equivalence for Decision Trees

  2025cites this paper
• TeMACLE: A Technology Mapping-Aware Area-Efficient Standard Cell Library Extension Framework

  2025cites this paper
• LLBC: A Novel Feistel-Based Low-Latency Block Cipher for IoT Applications

  2025cites this paper
• ADC-BE: Optimizing Worst-Case Bandwidth in Broadcast Encryption with Boolean Functions

  2025cites this paper
• Quantum DPLL and Generalized Constraints in Iterative Quantum Algorithms

  2025cites this paper
• Leveraging Predictive Equivalence in Decision Trees

  2025cites this paper
• Improved colored cubes teaching kit in representing and simplifying Boolean logic functions

  2025cites this paper
• Enumerating All Boolean Matches

  2025cites this paper
• Simplifier: A New Tool for Boolean Circuit Simplification

  2025cites this paper
• Minimalist Model for Impossible Differentials

  2025cites this paper
• ShortCircuit: AlphaZero-Driven Circuit Design

  2024cites this paper
• Bending microarchitectural weird machines towards practicality

  2024influential citation
• Combining Zhegalkin Polynomials and SAT Solving for Context-Specific Boolean Modeling of Biological Systems

  2024cites this paper
• Development of a non-standard system for simplifying boolean functions

  2024cites this paper
• Can we forget how we learned? Doxastic redundancy in iterated belief revision

  2024cites this paper
• Entailing Generalization Boosts Enumeration

  2024cites this paper
• Efficient Quantum Circuit Encoding of Object Information in 2D Ray Casting

  2024cites this paper
• On the Independence Assumption in Neurosymbolic Learning

  2024cites this paper
• Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries

  2024cites this paper
• Understanding the Logic of Direct Preference Alignment through Logic

  2024cites this paper
• Automated Generation of Fault-Resistant Circuits

  2024cites this paper
• ShortCircuit: AlphaZero-Driven Circuit Design

  2024cites this paper
• Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

  2023cites this paper
• Classification Analysis of Social Processes: Algorithms for Implementing an Inductive, Comparative Method based on Formal Language Theory

  2023cites this paper
• Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

  2023cites this paper
• Re-Establishing a Lost Connection: Multi-Value Logic in Causal Data Analysis in Social Science Disciplines

  2023cites this paper
• SoK: Modeling for Large S-boxes Oriented to Differential Probabilities and Linear Correlations (Long Paper)

  2023cites this paper
• Prime Scenarios in Qualitative Spatial and Temporal Reasoning

  2023cites this paper
• A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification

  2023cites this paper
• Reasoning on the response of logical signaling networks with Answer Set Programming

  2023cites this paper
• RECURSIVE TERNARY-BASED ALGORITHM FOR COMPUTING PRIME IMPLICANTS OF MULTI-OUTPUT BOOLEAN FUNCTIONS

  2023cites this paper
• The Inadequacy of Shapley Values for Explainability

  2023cites this paper
• A Majority Logic Synthesis Framework For Single Flux Quantum Circuits

  2023cites this paper
• Sequent-type rejection systems for finite-valued non-deterministic logics

  2023cites this paper
• CLAASP: a Cryptographic Library for the Automated Analysis of Symmetric Primitives

  2023cites this paper
• From Ramon Llull To Lov Grover: Towards A Universal Logic Machine

  2023cites this paper
• General Boolean Formula Minimization with QBF Solvers

  2023cites this paper
• Statemental algebra and truth calculus for unmanned systems

  2023cites this paper
• DenseQMC: an efficient bit-slice implementation of the Quine-McCluskey algorithm

  2023cites this paper
• Conditional Flood Fill Method in Logic Synthesis

  2023cites this paper
• Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives

  2023cites this paper
• Boolean-Function-based IP Lookup on FPGAs

  2023cites this paper
• Improved Encoding of Possibilistic Networks in CNF Using Quine-McCluskey Algorithm

  2023influential citation
• Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation

  2023cites this paper
• Skipping Scheme for Gate-hiding Garbled Circuits

  2023cites this paper
• HierSyn: Fast Synthesis for Large Hierarchical Designs

  2023cites this paper
• An Algebra for Tracing Categories of Social Processes: From a Surprising Fact to Middle-Range Theory using Categorical-Generative Analysis

  2023cites this paper
• Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning

  2022cites this paper
• Machine Learning Techniques for Routability-driven Routing in Application-specific Integrated Circuits Design

  2022cites this paper
• Fast MILP Models for Division Property

  2022cites this paper
• The Journal of Systems & Software

  2022cites this paper
• New teaching method to simplify Boolean logic functions using 3D cubes

  2022cites this paper
• Causality in Configurable Software Systems

  2022cites this paper
• Superredundancy: A tool for Boolean formula minimization complexity analysis

  2022cites this paper
• Espresso to the rescue of genetic programming facing exponential complexity

  2022cites this paper
• A Generalization of the Satisfiability Coding Lemma and Its Applications

  2022cites this paper
• Lost in Translation: from Linear Temporal Logic to Büchi Automata

  2022cites this paper
• Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints

  2022cites this paper
• Statemental credibility logic for intelligent systems

  2022cites this paper
• Data Booleanization for Energy Efficient On-Chip Learning using Logic Driven AI

  2022cites this paper
• Early trends in ECMO mortality during the first quarters of 2019 and 2020: Could we have predicted the onset of the pandemic?

  2022cites this paper
• Configurational Analysis of Inbound and Outbound Innovation Impact on Competitive Advantage in the SMEs of the Portuguese Hospitality Sector

  2022cites this paper
• Automatic Search for Bit-based Division Property

  2021cites this paper
• PyTorch, Explain! A Python library for Logic Explained Networks

  2021cites this paper
• LENs: a Python library for Logic Explained Networks

  2021cites this paper
• Handbook of Satisfiability

  2021cites this paper
• Entropy-based Logic Explanations of Neural Networks

  2021cites this paper
• Algorithmic Concept-based Explainable Reasoning

  2021cites this paper
• MILP modeling of Boolean functions by minimum number of inequalities

  2021cites this paper
• Sufficient reasons for classifier decisions in the presence of constraints

  2021cites this paper
• A First Step Towards Even More Sparse Encodings of Probability Distributions

  2021cites this paper
• Agents that learn to behave with reinforcement learning and behavior trees

  2021cites this paper
• Boolean Functions from Hyperplane Coverings

  2021cites this paper
• LUT-Based Optimization For ASIC Design Flow

  2021cites this paper
• Active-learning-based reconstruction of circuit model

  2021cites this paper
• Beyond DNF: First Steps towards Deep Rule Learning

  2021cites this paper
• The effective graph reveals redundancy, canalization, and control pathways in biochemical regulation and signaling

  2021cites this paper
• Convexity of division property transitions: theory, algorithms and compact models

  2021cites this paper
• A Scalable Two Stage Approach to Computing Optimal Decision Sets

  2021influential citation
• One-shot Policy Elicitation via Semantic Reward Manipulation

  2021cites this paper
• L Simplifying the Boolean Equation Based on Simulation System using Karnaugh Mapping Tool in Digital Circuit Design

  2021cites this paper
• March 2021: Top Read Articles in VLSI design & Communication Systems

  2021cites this paper
• The complexity of human cooperation under indirect reciprocity

  2021cites this paper
• A General Equivalence Checking Framework for Multivalued Logic

  2021cites this paper
• What Way Is It Meant To Be Played?

  2021cites this paper
• A Heuristic Approach to Two Level Boolean Minimization Derived from Karnaugh Mapping

  2020cites this paper
• SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism

  2020cites this paper
• Common equivalence and size after forgetting

  2020cites this paper
• TaBooN Boolean Network Synthesis Based on Tabu Search

  2020cites this paper
• On Symbolically Encoding the Behavior of Random Forests

  2020cites this paper
• Quantitative Characterization of Reconfigurable Transistor Logic Gates

  2020cites this paper
• A Flexible Pipeline for the Optimization of CSG Trees

  2020cites this paper
• MINTERM AND IMPLICANT SELECTION CRITERIA FOR DIRECT COVER ALGORITHMS AND OFF-BASED MINTERM ORDERING

  2020cites this paper