Pages that link to "Item:Q1680241"
From MaRDI portal
The following pages link to Hard satisfiable formulas for splittings by linear combinations (Q1680241):
Displaying 4 items.
- Complexity of the satisfiability problem for multilinear forms over a finite field (Q682219) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Lower Bounds for Splittings by Linear Combinations (Q2922623) (← links)
- Sets of Linear Forms Which Are Hard to Compute (Q6168484) (← links)