Pages that link to "Item:Q404200"

The following pages link to Decomposition representations of logical equations in problems of inversion of discrete functions (Q404200):

Displaying 2 items.

• Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem (Q4965126) (← links)
• Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)