Exact multiple-control toffoli network synthesis with SAT techniques

Keyphrases

• Approximate Synthesis 50%
• Boolean Satisfiability 50%
• Constant Input 50%
• Decision Problems 100%
• Decision Sequence 50%
• Exact Algorithm 50%
• Heuristic Approach 50%
• Iterative Algorithm 50%
• Large Set 50%
• Low-power Design 50%
• Minimal Networks 100%
• Minimal number 50%
• Multiple Control Toffoli 100%
• Network Representation 100%
• Network Synthesis 100%
• Number of Gates 50%
• Optical Computing 50%
• Problem-specific Knowledge 50%
• Quantum Computing 50%
• Reversible Logic 50%
• Reversible Network 50%
• SAT Modulo Theory 50%
• Satisfiability Modulo Theories 100%
• Small Networks 50%
• Synthesis Algorithm 50%
• Synthesis Problem 100%
• Toffoli 50%

Computer Science

• Decision Problem 100%
• Exact Algorithm 50%
• Experimental Result 50%
• Iterative Algorithm 50%
• Low-Power Design 50%
• Minimal Network 100%
• Optical Computing 50%
• Quantum Computing 50%
• Synthesis Algorithm 50%
• Synthesis Problem 100%