Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wei-Lun Hung
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
Related publications
Symmetry Detection for Large Boolean Functions Using Circuit Representation, Simulation, and Satisfiability
Proceedings - Design Automation Conference
Control
Systems Engineering
Electronic Engineering
Simulation
Hardware
Computer Science Applications
Electrical
Architecture
Modeling
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
Boolean Satisfiability With Transitivity Constraints
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Boolean Satisfiability in Quantum Compilation
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems With Applications to Probabilistic State Reachability and Region Stability
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
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
Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability
Decomposing Bent Functions
IEEE Transactions on Information Theory
Computer Science Applications
Information Systems
Library
Information Sciences
Solving Satisfiability Problems Using Reconfigurable Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software
