Pages that link to "Item:Q3168444"
From MaRDI portal
The following pages link to Testing Odd-Cycle-Freeness in Boolean Functions (Q3168444):
Displaying 5 items.
- A polynomial bound for the arithmetic \(k\)-cycle removal lemma in vector spaces (Q1671780) (← links)
- A tight bound for Green's arithmetic triangle removal lemma in vector spaces (Q1673988) (← links)
- Testing linear-invariant non-linear properties (Q3002831) (← links)
- Testing Linear-Invariant Non-Linear Properties (Q5389972) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898612) (← links)