Functional synthesis via input–output separation

Keyphrases

• Functional Synthesis 100%
• Input-output 100%
• Boolean 75%
• State-of-the-art Techniques 50%
• Boolean Functions 25%
• Synthesis Algorithm 25%
• Challenging Problems 25%
• Decomposition Approach 25%
• Output Variable 25%
• Existing State 25%
• Boolean Specification 25%
• Structural Properties 25%
• Polynomial Time 25%
• Sequential Decomposition 25%
• Synthetic Approaches 25%
• Decomposition Method 25%
• Conjunctive Normal Form Formula 25%
• Specific Properties 25%
• Portfolio Approach 25%
• Conjunctive Normal Form 25%

Computer Science

• Conjunctive Normal Form 100%
• Boolean Function 50%
• Synthesis Algorithm 50%
• Polynomial Time 50%
• Structural Property 50%