Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Insang Chung
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
Related publications
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
A Test Generation Strategy for Pairwise Testing
IEEE Transactions on Software Engineering
Software
Solving Satisfiability Problems Using Reconfigurable Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software
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
Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability
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
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
On Generic Np-Completeness of the Boolean Satisfiability Problem
Prikladnaya Diskretnaya Matematika
Signal Processing
Combinatorics
Applied Mathematics
Mathematics
Discrete Mathematics
Computational Theory
Theoretical Computer Science
