Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving

doi 10.1145/1391469.1391634
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Symmetry Detection for Large Boolean Functions Using Circuit Representation, Simulation, and Satisfiability

Proceedings - Design Automation Conference
ControlSystems EngineeringElectronic EngineeringSimulationHardwareComputer Science ApplicationsElectricalArchitectureModeling
2006English

Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability

IPSJ Transactions on System LSI Design Methodology
Electronic EngineeringComputer Science ApplicationsElectrical
2011English

Boolean Satisfiability With Transitivity Constraints

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2002English

Boolean Satisfiability in Quantum Compilation

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems With Applications to Probabilistic State Reachability and Region Stability

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Using Boolean Satisfiability Solving for Pairwise Test Generation From Cause-Effect Graphs: Comparison of Three Approaches

International Journal of Software Engineering and its Applications
Software
2015English

Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability

English

Decomposing Bent Functions

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
2003English

Solving Satisfiability Problems Using Reconfigurable Computing

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HardwareElectronic EngineeringElectricalArchitectureSoftware
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy