Variants, polynomial approximation, and conjunctive normal form

Under construction

• variants
• polynomial approximation
• different function spaces?
• conjunctive normal form
• Tseitin transformation?
• SAT solving?