The following pages link to Boolean Gröbner bases (Q633095):
Displaying 6 items.
- Representing and solving finite-domain constraint problems using systems of polynomials (Q360253) (← links)
- Solving non-linear Boolean equation systems by variable elimination (Q2032298) (← links)
- Enumerating partial Latin rectangles (Q2188838) (← links)
- Boolean ideals and their varieties (Q2348121) (← links)
- Reduced Gröbner bases and Macaulay-Buchberger basis theorem over Noetherian rings (Q2447635) (← links)
- Representing the integer factorization problem using ordered binary decision diagrams (Q6185610) (← links)
